diff options
Diffstat (limited to 'util/optionlist/Makefile')
| -rw-r--r-- | util/optionlist/Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/util/optionlist/Makefile b/util/optionlist/Makefile index c11c80dd2b..ffd1010ac1 100644 --- a/util/optionlist/Makefile +++ b/util/optionlist/Makefile @@ -1,7 +1,13 @@ -all: +all: html wiki + +html: ./mkOptionList.py @#saxon Options.xml Options.xsl >Options.html xsltproc Options.xsl Options.xml > Options.html +wiki: + ./mkOptionList.py + xsltproc Options-wiki.xsl Options.xml > Options.wiki + clean: - rm Options.xml Options.html + rm -rf Options.xml Options.html Options.wiki |