diff options
author | Hiltjo Posthuma <hiltjo@codemadness.org> | 2015-01-04 16:39:56 +0100 |
---|---|---|
committer | Hiltjo Posthuma <hiltjo@codemadness.org> | 2015-01-04 16:39:56 +0100 |
commit | c77b5c3a699d129436e5a757973f84265f41e135 (patch) | |
tree | 0b445f39c1bbdecd639efdb6666ba911d5777ef1 /Makefile | |
parent | 4568a8156b81d1860c88b09b34a2d65a54db62dc (diff) |
doc: improve
- mandoc: fix mandoc errors and warnings.
- remove pre-generated HTML documentation.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |