diff options
| -rw-r--r-- | docs/docbook/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docbook/Makefile.in b/docs/docbook/Makefile.in index c79c9008ff..499c1742b8 100644 --- a/docs/docbook/Makefile.in +++ b/docs/docbook/Makefile.in @@ -101,7 +101,7 @@ $(HTMLDIR)/%.html: $(MANSGMLDIR)/%.sgml mv $(HTMLDIR)/index.html $@ $(MANDIR)/%: $(MANSGMLDIR)/%.sgml - $(DOCBOOK2MAN) -o $(MANDIR) $< + $(DOCBOOK2MAN) -o $(MANDIR) $< || rm $@ $(PERL) scripts/strip-links.pl < $@ > $@.temp mv $@.temp $@ |