Merge branch 'buttonbox' of git://git.gag.com/fw/altos into buttonbox

[fw/altos] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index f8048dce025ee7483a56882627ee16b8015e80ab..238cefb08cf33ccee7d573ef7bf8df28824aa595 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -26,6 +26,9 @@ telemetrum-doc.pdf:   telemetrum-doc.fo
 clean:
        rm -f telemetrum-doc.html telemetrum-doc.pdf telemetrum-doc.fo
 
+distclean:
+       rm -f telemetrum-doc.html telemetrum-doc.pdf telemetrum-doc.fo
+
 indent:                telemetrum-doc.xsl
        xmlindent -i 2 < telemetrum-doc.xsl > telemetrum-doc.new