This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: install-html and install-pdf improvements
> Date: Tue, 21 Apr 2009 12:45:21 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> cc: Carlos O'Donell <carlos@codesourcery.com>, gdb-patches@sourceware.org
>
> This followup patch adds the --with-datarootdir, --with-docdir,
> --with-pdfdir and --with-htmldir configure options from toplevel to
> both the gdb and gdb/doc directories for independent configurability,
> adds the missing directory variables to gdb/doc/Makefile.in, and
> arranges for all the different formats of each manual to be built with
> the same -I options as previously discussed. OK to commit?
Yes, and thanks.
Btw, do we want these new configuration options be mentioned in NEWS?