more doc

[roundup.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 5a55ed4cdd1184af97f0bc036c3e0cbbabf34046..3396830f9098780146fb0005ce7a354881def96e 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -12,3 +12,5 @@ all: ${COMPILED}
 %.html: %.txt
        ${PYTHON} ${STXTOHTML} --report=warning -d $< $@
 
+clean:
+       rm -f ${COMPILED}