diff options
| -rw-r--r-- | doc/hackersguide/Makefile.am | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/doc/hackersguide/Makefile.am b/doc/hackersguide/Makefile.am index 5dd6f5c25..cb95b8ad3 100644 --- a/doc/hackersguide/Makefile.am +++ b/doc/hackersguide/Makefile.am @@ -29,23 +29,8 @@ dist-hook: $(MAKE) docs ; \ fi -if HAVE_SGMLTOOLS -hackersguide.html: $(hackersguide_sgml) - @$(MAKE) docs-prepare - $(SGMLTOOLS) -b onehtml hackersguide.sgml; -else -hackersguide.html: $(hackersguide_sgml) - @$(MAKE) docs-prepare - if test x"$(fail_if_missing)" = x"yes"; then \ - echo "Please install sgmltools-lite."; \ - exit 1; \ - fi - if test x"$(fail_if_missing)" != x"yes"; then \ - touch $@; \ - sleep 1; \ - touch $(notdir $^); \ - fi -endif +hackersguide.html: $(hackersguide_docbook) + xmlto html-nochunks $(srcdir)/hackersguide.docbook if HAVE_FIG2DEV fig.png: |