diff options
| author | Ben Elliston <bje@gnu.org> | 2006-06-06 04:13:48 +0000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2006-06-06 04:13:48 +0000 |
| commit | 284c76021b5b3c4c1b4c5d138d2ecb6b0bf5e798 (patch) | |
| tree | ef3e64249d56aafca6c1168129eb163088c2b9b2 /Makefile.in | |
| parent | 143263297d0c518353fc47fe1a1af5851042bd87 (diff) | |
* configure.ac: Check for docbook2texi, not docbook2x-texi. The
wrapper script changed its name again in the latest release.
* configure: Regenerate.
* Makefile.am (DOCBOOK2X_TEXI): Rename from this ..
(DOCBOOK2TEXI): .. to this.
(doc/dejagnu.texi): Do not use output-file parameter to deposit
the .texi file into the source directory; use mv(1) instead. Set
directory-description parameter.
* Makefile.in: Likewise.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index b6c04a4..32963ce 100644 --- a/Makefile.in +++ b/Makefile.in @@ -143,7 +143,7 @@ DOCBOOK2HTML = @DOCBOOK2HTML@ DOCBOOK2PDF = @DOCBOOK2PDF@ DOCBOOK2PS = @DOCBOOK2PS@ DOCBOOK2RTF = = @DOCBOOK2RTF@ -DOCBOOK2X_TEXI = @DOCBOOK2X_TEXI@ +DOCBOOK2TEXI = @DOCBOOK2TEXI@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ @@ -1164,8 +1164,10 @@ html: $(DOCBOOK2HTML) -o html $(srcdir)/doc/dejagnu.xml doc/dejagnu.texi: $(XML) - $(DOCBOOK2X_TEXI) $(srcdir)/doc/dejagnu.xml - mv untitled.texi $(srcdir)/$@ + $(DOCBOOK2TEXI) --string-param directory-description="The GNU testing framework." $(srcdir)/doc/dejagnu.xml + mv dejagnu.texi $(srcdir)/doc + +# -g output-file="$(srcdir)/doc/dejagnu.texi" # Packaging. |