diff options
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. |