diff options
Diffstat (limited to 'doc/hackersguide')
| -rw-r--r-- | doc/hackersguide/Makefile.am | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/doc/hackersguide/Makefile.am b/doc/hackersguide/Makefile.am index 47455bcb4..082601466 100644 --- a/doc/hackersguide/Makefile.am +++ b/doc/hackersguide/Makefile.am @@ -37,24 +37,26 @@ hackersguide.html: $(hackersguide_sgml) else hackersguide.html: $(hackersguide_sgml) if test x"$(fail_if_missing)" = x"yes"; then \ - echo "Please install sgmltools-lite."; \ - exit 1; \ + echo "Please install sgmltools-lite."; \ + exit 1; \ else \ - touch $@; \ - touch $^; \ + touch $@; \ + sleep 1; \ + touch $^; \ fi endif if HAVE_FIG2DEV %.png: $(srcdir)/%.fig - $(FIG2DEV) -L png -S 4 $< $@; + $(FIG2DEV) -L png -S 4 $< $@; else %.png: $(srcdir)/%.fig if test x"$(fail_if_missing)" = x"yes"; then \ - echo "Please install fig2dev."; \ - exit 1; \ + echo "Please install fig2dev."; \ + exit 1; \ else \ - touch $@; \ - touch $^; \ + touch $@; \ + sleep 1; \ + touch $^; \ fi endif |