diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 1d91053..f27d4f2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -220,7 +220,8 @@ html: $(DOCBOOK2HTML) -o html $(srcdir)/doc/dejagnu.xml doc/dejagnu.texi: $(XML) - $(DOCBOOK2X_TEXI) $(srcdir)/doc/dejagnu.xml --to-stdout > $(srcdir)/$@ + $(DOCBOOK2X_TEXI) $(srcdir)/doc/dejagnu.xml + mv untitled.texi $(srcdir)/$@ # Packaging. |