diff options
| -rw-r--r-- | doc/hackersguide/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/hackersguide/Makefile.am b/doc/hackersguide/Makefile.am index 5fe5bc428..f720fa957 100644 --- a/doc/hackersguide/Makefile.am +++ b/doc/hackersguide/Makefile.am @@ -53,7 +53,7 @@ if HAVE_FIG2DEV $(FIG2DEV) -L png -S 4 $< $@; else %.png: $(srcdir)/%.fig - if test x"$(fail_if_missing)" = x"yes"; then \ + -if test x"$(fail_if_missing)" = x"yes"; then \ echo "Please install fig2dev."; \ exit 1; \ else \ |