diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/docs/Makefile b/docs/Makefile index cba7bc8..0ad1489 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,16 +1,9 @@ -HTML_SOURCES=developer_instructions -HTML_DOCS=$(HTML_SOURCES:=.html) - -MAN_SOURCES=g-sorcery g-sorcery.cfg gs-elpa gs-pypi gs-ctan +MAN_SOURCES=gs-elpa MANS=$(MAN_SOURCES:=.8) -RST2HTML=rst2html.py RST2MAN=rst2man.py -all: ${MANS} ${HTML_DOCS} +all: ${MANS} %.8: %.8.rst $(RST2MAN) $< $@ - -%.html: %.rst - $(RST2HTML) $< $@ |