diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 8af5b2c..5c25523 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,7 +1,7 @@ HTML_SOURCES=developer_instructions HTML_DOCS=$(HTML_SOURCES:=.html) -MAN_SOURCES=g-sorcery g-sorcery.cfg gs-pypi gs-ctan +MAN_SOURCES=g-sorcery g-sorcery.cfg gs-pypi MANS=$(MAN_SOURCES:=.8) RST2HTML=rst2html.py |