diff options
| -rwxr-xr-x | doc/update.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/update.sh b/doc/update.sh index 0ac8f813..060ea808 100755 --- 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 |