diff options
Diffstat (limited to 'docs')
| -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 dae5b81e71..14617f7413 100644 --- a/docs/docbook/Makefile.in +++ b/docs/docbook/Makefile.in @@ -122,7 +122,7 @@ $(HTMLDIR)/%.html: $(MANPROJDOC)/%.sgml $(DOCBOOK2HTML) -u -o $(HTMLDIR) $< $(MANDIR)/%: $(MANPROJDOC)/%.sgml - $(DOCBOOK2MAN) -o $(MANDIR) $< || rm $@ + $(DOCBOOK2MAN) -o $(MANDIR) $< $(PERL) scripts/strip-links.pl < $@ > $@.temp mv $@.temp $@ |