dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PATCH: Fix Info node link


From: Jacob Bachmeyer
Subject: PATCH: Fix Info node link
Date: Wed, 05 Dec 2018 19:14:35 -0600
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0

Another broken Info node link. Emacs can maintain these links (C-c C-u C-n on the "rsh procedure" node made this patch, or see the "Texinfo" menu), or they can be omitted from the Texinfo source entirely if certain conditions described in the Texinfo manual are met. Does the newer makeinfo not check node connectivity anymore?

----
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi
index fe23027..a217d74 100644
--- a/doc/dejagnu.texi
+++ b/doc/dejagnu.texi
@@ -3703,7 +3703,7 @@ File to transmit.
@address@hidden @i{hostname}}
@end quotation

address@hidden rsh procedure, tip procedure, telnet procedure, connprocs
address@hidden rsh procedure, tip procedure, rlogin procedure, connprocs
@subsubheading rsh Procedure
@findex rsh

----


-- Jacob



reply via email to

[Prev in Thread] Current Thread [Next in Thread]