Separate doxygen generation and html tidy into separate scripts

w3stling · Mar 23, 2014 · 2bb60bf · 2bb60bf
1 parent 3a7708c
commit 2bb60bf
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/doc/document.sh b/doc/document.sh
@@ -1,10 +1,5 @@
 #!/bin/bash
 
-WHICH_TIDY=$(which tidy)
-if [ $? == 0 ] ; then
-    find html "*.html" | xargs -n1 tidy -config tidy.config -m
-fi
-
 WHICH_DOXYGEN=$(which doxygen)
 if [ $? == 0 ] ; then
     doxygen

diff --git a/doc/tidy.sh b/doc/tidy.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+WHICH_TIDY=$(which tidy)
+if [ $? == 0 ] ; then
+    find html "*.html" | xargs -n1 tidy -config tidy.config -m
+fi