diff options
Diffstat (limited to 'doc/faq')
| -rw-r--r-- | doc/faq/Makefile.am | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/doc/faq/Makefile.am b/doc/faq/Makefile.am index d57e08cf9..f534d867a 100644 --- a/doc/faq/Makefile.am +++ b/doc/faq/Makefile.am @@ -26,15 +26,13 @@ faq.html: faq.sgml $(SGMLTOOLS) -b onehtml faq.sgml; else faq.html: faq.sgml - if test "$(fail_if_missing)" = "yes"; then \ + if test x"$(fail_if_missing)" = x"yes"; then \ echo "Please install sgmltools-lite."; \ exit 1; \ else \ touch $@; \ - sleep 1; \ touch $^; \ - fi; \ - fi + fi endif if HAVE_SGMLTOOLS @@ -42,13 +40,11 @@ faq.txt: faq.sgml $(SGMLTOOLS) -b txt faq.sgml; else faq.txt: faq.sgml - if test "$(fail_if_missing)" = "yes"; then \ + if test x"$(fail_if_missing)" = x"yes"; then \ echo "Please install sgmltools-lite."; \ exit 1; \ else \ touch $@; \ - sleep 1; \ touch $^; \ - fi; \ - fi + fi endif |