summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorHiltjo Posthuma <hiltjo@codemadness.org>2015-01-04 16:39:56 +0100
committerHiltjo Posthuma <hiltjo@codemadness.org>2015-01-04 16:39:56 +0100
commitc77b5c3a699d129436e5a757973f84265f41e135 (patch)
tree0b445f39c1bbdecd639efdb6666ba911d5777ef1 /Makefile
parent4568a8156b81d1860c88b09b34a2d65a54db62dc (diff)
doc: improve
- mandoc: fix mandoc errors and warnings. - remove pre-generated HTML documentation.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 60e5fcf..bf8751f 100644
--- a/Makefile
+++ b/Makefile
@@ -71,7 +71,7 @@ dist: $(BIN) doc
(cd release/${VERSION}; \
tar -czf ../../sfeed-${VERSION}.tar.gz .)
-doc: doc-html doc-oldman
+doc: doc-oldman
# man to HTML: make sure to copy the mandoc example stylesheet to
# doc/html/man.css .
@@ -138,4 +138,4 @@ uninstall:
# removing manual pages.
for m in $(MAN1); do rm -f ${DESTDIR}${MANPREFIX}/man1/$$m; done
-.PHONY: all clean dist install uninstall doc-html doc-oldman doc
+.PHONY: all clean dist doc doc-html doc-oldman install uninstall