diff options
| author | Marius Halden <marius.h@lden.org> | 2017-09-06 14:14:40 +0200 |
|---|---|---|
| committer | Marius Halden <marius.h@lden.org> | 2017-09-06 14:14:40 +0200 |
| commit | f849ef86076ed17c9dbaeeb425dba084dc9c52ba (patch) | |
| tree | 952526fbf44e27a45eec14b0f4ceb03eead0cd67 /doc/user-guide/Makefile | |
| parent | 9bc82d46e26ecd4947c3ee840d3e1e2dcc655640 (diff) | |
| parent | ad66dcd65ee6e84f25fdb46956df0ad3041d0ced (diff) | |
Merge branch 'master' into patched-master
Diffstat (limited to 'doc/user-guide/Makefile')
| -rw-r--r-- | doc/user-guide/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user-guide/Makefile b/doc/user-guide/Makefile index 01fd9aa2..541d8c46 100644 --- a/doc/user-guide/Makefile +++ b/doc/user-guide/Makefile @@ -34,7 +34,7 @@ help.xml: commands.xml %.db.xml: %.xml docbook.xsl xsltproc --xinclude --output $@ docbook.xsl $< -help.txt: $(_SRCDIR_)help.xml $(_SRCDIR_)commands.xml $(_SRCDIR_)misc.xml $(_SRCDIR_)quickstart.xml +help.txt: $(_SRCDIR_)help.xml $(_SRCDIR_)commands.xml $(_SRCDIR_)misc.xml $(_SRCDIR_)quickstart.xml $(_SRCDIR_)twitter.xml $(PYTHON) $(_SRCDIR_)genhelp.py $< $@ clean: |