Uncomment most of this again, now that the wiki builder seems

basically functional.

SVN-Revision: 985

diff --git a/doc/update.sh b/doc/update.sh
index 0ac8f813fc86b448dfdeb0c03466e87491316d36..060ea808219bb0944b63ef1d1d4b37809bc52d44 100755 (executable)
--- a/doc/update.sh
+++ b/doc/update.sh
@@ -5,8 +5,6 @@
 # the mdoc man pages stored in each project.
 #
 
-if false; then
-
 # Build Makefile in 'man' directory
 cd man
 rm -f *.[135]
@@ -83,8 +81,6 @@ done
 echo $all >>Makefile
 cd ..
 
-fi
-
 # Build Makefile in 'wiki' directory
 cd wiki
 rm -f *.wiki