From 5651802c6045a829181367202f934926b563144e Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sat, 19 Aug 2023 08:24:52 -0700 Subject: [PATCH] autoupdate --- doc/install.texi | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) 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. -- 2.39.5