diff options
Diffstat (limited to 'docs/handbook/Makefile.am')
| -rw-r--r-- | docs/handbook/Makefile.am | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/handbook/Makefile.am b/docs/handbook/Makefile.am new file mode 100644 index 0000000..c4da710 --- /dev/null +++ b/docs/handbook/Makefile.am @@ -0,0 +1,17 @@ +# this Makefile.am was automatically generated by bibletime/maintenance/gen_am.sh +# please do not edit this file but rather run the script to update + + +SUBDIRS = unicode html + + +html-files: + if test -e unicode/index.docbook; then \ + olddir=$$PWD; \ + cd html;\ + echo "Validating the XML files..."; \ + if meinproc ../unicode/index.docbook; then\ + echo "HTML files created successfully."; \ + fi; cd $$olddir; \ + fi; + |