diff options
Diffstat (limited to 'doc/module.defs')
| -rw-r--r-- | doc/module.defs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/doc/module.defs b/doc/module.defs index 84d924ab7..8047022bd 100644 --- a/doc/module.defs +++ b/doc/module.defs @@ -46,21 +46,3 @@ MAKEINFO = $(MAKEINFO.exe) $(MAKEINFO.flags) $(MAKEINFO.flags.$(1)) $ XML2WIKI.exe = python3.0 $(DOC.in/)xml2wiki.py XML2WIKI.flags = --toc XML2WIKI = $(XML2WIKI.exe) $(XML2WIKI.flags) $(1) > $(2) - -############################################################################### - -## This section is for generating wiki docs and posting them to: -## -## [REPOSITORY]/wiki/[VERSION] -## -## which in turn is hosted by trac export webserver: -## -## http://[TRACSERVER]/HEAD/wiki/[VERSION] -## - -WIKI.out/ = $(BUILD/)wiki/ -WIKI.out.version/ = $(WIKI.out/)$(HB.repo.branch)/ - -WIKI.repo.url = $(HB.repo.root)/wiki - -BUILD.out += $(WIKI.out.version/) |