diff options
author | Ben Elliston <bje@gnu.org> | 2005-12-24 10:23:26 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2005-12-24 10:23:26 +0000 |
commit | 4a1dd5bcd9048a5e88f3e2e6664393d56280a645 (patch) | |
tree | a29a768e33bc6f73bbd864fb6fc0c0f42f6ab362 /Makefile.am | |
parent | a75c73596d4917d29c0157ab82f765f0772e7dbe (diff) | |
download | dejagnu-4a1dd5bcd9048a5e88f3e2e6664393d56280a645.zip dejagnu-4a1dd5bcd9048a5e88f3e2e6664393d56280a645.tar.gz dejagnu-4a1dd5bcd9048a5e88f3e2e6664393d56280a645.tar.bz2 |
* Makefile.am (doc/dejagnu.texi): Don't use shell redirection, in
case the command fails and zeroes the Texinfo source file. Move
the output (if successful) by its default filename using mv(1).
* Makefile.in: Regenerate.
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. |