From: Karl Berry Date: Sat, 19 Aug 2023 15:24:52 +0000 (-0700) Subject: autoupdate X-Git-Tag: v1.0~887 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=5651802c6045a829181367202f934926b563144e;p=gnulib.git autoupdate --- diff --git a/doc/install.texi b/doc/install.texi index b2ceae2e49..f06ab17b83 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -143,8 +143,12 @@ Here is an example: ./configure CC=gcc CFLAGS=-g LIBS=-lposix @end example -See +@ifplaintext +See ``Defining Variables'' +@end ifplaintext +@ifnotplaintext @ref{Defining Variables} +@end ifnotplaintext @ifset autoconf and @ref{Preset Output Variables} @end ifset @@ -394,7 +398,13 @@ Look for the package's source code in directory @var{dir}. Usually @command{configure} can determine that directory automatically. @item --prefix=@var{dir} -Use @var{dir} as the installation prefix. @ref{Installation Names} +Use @var{dir} as the installation prefix. +@ifplaintext +See ``Installation Names'' +@end ifplaintext +@ifnotplaintext +@ref{Installation Names} +@end ifnotplaintext for more details, including other options available for fine-tuning the installation locations.