summaryrefslogtreecommitdiff
path: root/doc/update.sh
diff options
context:
space:
mode:
Diffstat (limited to 'doc/update.sh')
-rwxr-xr-xdoc/update.sh10
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/update.sh b/doc/update.sh
index daea312c..9526d95a 100755
--- a/doc/update.sh
+++ b/doc/update.sh
@@ -14,7 +14,7 @@ cd ..
# Build Makefile in 'man' directory
cd man
chmod +w .
-rm -f *.[135]
+rm -f *.[135] Makefile
echo > Makefile
echo "default: all" >>Makefile
echo >>Makefile
@@ -33,7 +33,7 @@ cd ..
test -d text || mkdir text
cd text
chmod +w .
-rm -f *.txt
+rm -f *.txt Makefile
echo > Makefile
echo "default: all" >>Makefile
echo >>Makefile
@@ -52,7 +52,7 @@ cd ..
test -d pdf || mkdir pdf
cd pdf
chmod +w .
-rm -f *.pdf
+rm -f *.pdf Makefile
echo > Makefile
echo "default: all" >>Makefile
echo >>Makefile
@@ -71,7 +71,7 @@ cd ..
test -d html || mkdir html
cd html
chmod +w .
-rm -f *.html
+rm -f *.html Makefile
echo > Makefile
echo "default: all" >>Makefile
echo >>Makefile
@@ -90,7 +90,7 @@ cd ..
test -d wiki || mkdir wiki
cd wiki
chmod +w .
-rm -f *.wiki
+rm -f *.wiki Makefile
echo > Makefile
echo "default: all" >>Makefile
echo >>Makefile