diff options
Diffstat (limited to 'doc/faq')
| -rw-r--r-- | doc/faq/Makefile.am | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/faq/Makefile.am b/doc/faq/Makefile.am index 08ae350c2..ba3ebd15c 100644 --- a/doc/faq/Makefile.am +++ b/doc/faq/Makefile.am @@ -29,7 +29,11 @@ uninstall-local: docs: $(docs_DOCS) faq.html: faq.sgml - sgmltools -b onehtml faq.sgml + @if test "$(SGMLTOOLS)" != "no"; then \ + $(SGMLTOOLS) -b onehtml faq.sgml; \ + fi faq.txt: faq.sgml - sgmltools -b txt faq.sgml + @if test "$(SGMLTOOLS)" != "no"; then \ + $(SGMLTOOLS) -b txt faq.sgml; \ + fi |