summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile
index b1b56c18..89caf9ed 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -8,4 +8,4 @@ developer-guidelines.html: developer-guidelines.sgml
8 fi 8 fi
9 9
10clean: 10clean:
11 rm -f developer-guidelines.html 11 rm -f developer-guidelines.html developer-guidelines.html.last jade-out.fot