diff options
| author | Maciej W. Rozycki <macro@linux-mips.org> | 2007-07-26 10:34:00 +0000 |
|---|---|---|
| committer | Maciej W. Rozycki <macro@linux-mips.org> | 2007-07-26 10:34:00 +0000 |
| commit | c80a96a874782fd7e8a632c5cddf8e52e4ca1997 (patch) | |
| tree | 046b42ea7cb753e2b1291f8e6d42b24c63c306ea /gdb/doc/Makefile.in | |
| parent | d4947150164aaf68186abe5b10725bf0a3149c7d (diff) | |
| download | gdb-c80a96a874782fd7e8a632c5cddf8e52e4ca1997.zip gdb-c80a96a874782fd7e8a632c5cddf8e52e4ca1997.tar.gz gdb-c80a96a874782fd7e8a632c5cddf8e52e4ca1997.tar.bz2 | |
gdb/:
* Makefile.in (MAKEHTMLFLAGS): Also search the current directory
for include files.
gdb/doc/:
* Makefile.in (MAKEHTMLFLAGS): Also search the current directory
for include files.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index e15939a..b8ac0ee 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -49,9 +49,11 @@ MAKEINFO=makeinfo # Note that texinfo 4.0's makeinfo --html can only generate a # single file, which would be too large, so continue to use # texi2html. -sts 2000-03-28 - +# Contrary to documentation, the current directory is not +# searched by texi2html, so specify it explicitly. +# -macro 2007-07-26 MAKEHTML = texi2html -MAKEHTMLFLAGS = -menu -split_chapter +MAKEHTMLFLAGS = -menu -split_chapter -I . # where to find texi2roff, ditto TEXI2ROFF=texi2roff |