diff options
Diffstat (limited to 'util/optionlist/Makefile')
| -rw-r--r-- | util/optionlist/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/util/optionlist/Makefile b/util/optionlist/Makefile new file mode 100644 index 0000000000..c11c80dd2b --- /dev/null +++ b/util/optionlist/Makefile @@ -0,0 +1,7 @@ +all: + ./mkOptionList.py + @#saxon Options.xml Options.xsl >Options.html + xsltproc Options.xsl Options.xml > Options.html + +clean: + rm Options.xml Options.html |