diff options
Diffstat (limited to 'gdb/doc/configure')
| -rwxr-xr-x | gdb/doc/configure | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/gdb/doc/configure b/gdb/doc/configure index f89c140..7dc008d 100755 --- a/gdb/doc/configure +++ b/gdb/doc/configure @@ -601,10 +601,6 @@ SHELL' ac_subst_files='' ac_user_opts=' enable_option_checking -with_datarootdir -with_docdir -with_pdfdir -with_htmldir with_pkgversion with_bugurl ' @@ -1218,10 +1214,6 @@ if test -n "$ac_init_help"; then Optional Packages: --with-PACKAGE[=ARG] use PACKAGE [ARG=yes] --without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no) - --with-datarootdir use datarootdir as the data root directory. - --with-docdir install documentation in this directory. - --with-pdfdir install pdf in this directory. - --with-htmldir install html in this directory. --with-pkgversion=PKG Use PKG in the version string in place of "GDB" --with-bugurl=URL Direct users to URL to report a bug @@ -1884,48 +1876,6 @@ $as_echo "no, using $LN_S" >&6; } fi -# Flags needed to enable html installing and building - -# Check whether --with-datarootdir was given. -if test "${with_datarootdir+set}" = set; then : - withval=$with_datarootdir; datarootdir="\${prefix}/${withval}" -else - datarootdir="\${prefix}/share" -fi - - - -# Check whether --with-docdir was given. -if test "${with_docdir+set}" = set; then : - withval=$with_docdir; docdir="\${prefix}/${withval}" -else - docdir="\${datarootdir}/doc" -fi - - - -# Check whether --with-pdfdir was given. -if test "${with_pdfdir+set}" = set; then : - withval=$with_pdfdir; pdfdir="\${prefix}/${withval}" -else - pdfdir="\${docdir}" -fi - - - -# Check whether --with-htmldir was given. -if test "${with_htmldir+set}" = set; then : - withval=$with_htmldir; htmldir="\${prefix}/${withval}" -else - htmldir="\${docdir}" -fi - - - - - - - # Check whether --with-pkgversion was given. |