Improve INSTALL format

* doc/install.texi (Compilers and Options): Fix two @ref
instances that don’t work well when making INSTALL.
Problem noted by Gavin Smith in:
https://lists.gnu.org/r/autoconf/2023-08/msg00004.html

diff --git a/doc/install.texi b/doc/install.texi
index b2ceae2e49379ba0d13ad512b9729a05471e2597..f06ab17b8313e303947910fe6f1bbb203803b175 100644 (file)
--- 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.