Delete temporary documentation file.
authorStefan Westerfeld <stefan@space.twc.de>
Mon, 17 May 2010 12:10:00 +0000 (14:10 +0200)
committerStefan Westerfeld <stefan@space.twc.de>
Mon, 17 May 2010 12:10:00 +0000 (14:10 +0200)
docs/Makefile.am

index f45fe24..febd7fe 100644 (file)
@@ -13,5 +13,6 @@ publish-docs:
        for i in $(dist_man_MANS); do \
          $(DOXER) doxi2html $$i.doxi; \
          cp $$i.html $(DOCS_DIR); \
+          rm $$i.html ; \
         done
        cd $(DOCS_DIR) && find . -type f -print0 | xargs -0 git add