summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/makefile b/doc/makefile
index f0c9114..0b3d819 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -6,3 +6,6 @@ developer-guidelines.html: developer-guidelines.sgml
6 mv developer-guidelines/developer-guidelines.html . ;\ 6 mv developer-guidelines/developer-guidelines.html . ;\
7 rm -f developer-guidelines ;\ 7 rm -f developer-guidelines ;\
8 fi 8 fi
9
10clean:
11 rm -f developer-guidelines.html