diff options
Diffstat (limited to 'doc/module.defs')
| -rw-r--r-- | doc/module.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/module.defs b/doc/module.defs index 468196c96..e7e426009 100644 --- a/doc/module.defs +++ b/doc/module.defs @@ -44,5 +44,5 @@ MAKEINFO.flags.xml = --xml --output-indent=4 MAKEINFO = $(MAKEINFO.exe) $(MAKEINFO.flags) $(MAKEINFO.flags.$(1)) $(2) -o $(3) XML2WIKI.exe = python3.0 $(DOC.in/)xml2wiki.py -XML2WIKI.flags = --date --toc +XML2WIKI.flags = --toc XML2WIKI = $(XML2WIKI.exe) $(XML2WIKI.flags) $(1) > $(2) |