diff options
Diffstat (limited to 'docs/handbook/Makefile.am')
-rw-r--r-- | docs/handbook/Makefile.am | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/docs/handbook/Makefile.am b/docs/handbook/Makefile.am deleted file mode 100644 index c4da710..0000000 --- a/docs/handbook/Makefile.am +++ /dev/null @@ -1,17 +0,0 @@ -# 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; - |