1 files changed, 3 insertions, 0 deletions

diff --git a/doc/makefile b/doc/makefile
index f0c9114a..0b3d819d 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -6,3 +6,6 @@ developer-guidelines.html: developer-guidelines.sgml
                 mv developer-guidelines/developer-guidelines.html . ;\
                 rm -f developer-guidelines ;\
         fi
+
+clean:
+        rm -f developer-guidelines.html