From cb6fbab55de1e9660e110857ae248a70a8b48c5b Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 18 Aug 2023 19:47:06 -0700
Subject: [PATCH] Improve INSTALL format
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

* 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
---
 doc/install.texi | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/doc/install.texi b/doc/install.texi
index b2ceae2e4..f06ab17b8 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.47.3