Try again to get these references to work when converted to

drupal. This time try removing the quotes

diff --git a/doc/info/attrs.html b/doc/info/attrs.html
index 8044d84826644358a64a90b887fa704b74ea9bc0..c081733e35a1034a10a403f67e436a0372591e74 100644 (file)
--- a/doc/info/attrs.html
+++ b/doc/info/attrs.html
@@ -29,7 +29,7 @@ one would use
 </TABLE>
 Further details concerning the setting of attributes can be found
 in the description of the
-<A HREF="lang.html">DOT language.</A>
+<A HREF=lang.html>DOT language.</A>
 <P>
 At present, most device-independent units are either inches or
 <A NAME="points"></A>
@@ -39,10 +39,10 @@ which we take as 72 points per inch.
 <A NAME=h:undir_note><STRONG>Note:</STRONG></A> Some attributes, such as
 <A HREF=#d:dir>dir</A> or <A HREF=#d:arrowtail>arrowtail</A>, are
 ambiguous when used in
-<A HREF="lang.html">DOT</A>
+<A HREF=lang.html>DOT</A>
 with an undirected graph since the head and tail of an edge are meaningless.
 As a convention, the first time an undirected edge appears, the
-<A HREF="lang.html">DOT</A>
+<A HREF=lang.html>DOT</A>
 parser will assign the left node as the tail node and the right node as
 the head. For example, the edge <TT>A -- B</TT> will have tail <TT>A</TT>
 and head <TT>B</TT>. It is the user's responsibility to handle such

diff --git a/doc/infosrc/attrs.1 b/doc/infosrc/attrs.1
index 6079e75d40b1bb34c36cbb1e1a623da093956f72..89b8a4aa281c4a549282d8dc9dd56058a326a0a9 100644 (file)
--- a/doc/infosrc/attrs.1
+++ b/doc/infosrc/attrs.1
@@ -29,7 +29,7 @@ one would use
 </TABLE>
 Further details concerning the setting of attributes can be found
 in the description of the
-<A HREF="lang.html">DOT language.</A>
+<A HREF=lang.html>DOT language.</A>
 <P>
 At present, most device-independent units are either inches or
 <A NAME="points"></A>
@@ -39,10 +39,10 @@ which we take as 72 points per inch.
 <A NAME=h:undir_note><STRONG>Note:</STRONG></A> Some attributes, such as
 <A HREF=#d:dir>dir</A> or <A HREF=#d:arrowtail>arrowtail</A>, are
 ambiguous when used in
-<A HREF="lang.html">DOT</A>
+<A HREF=lang.html>DOT</A>
 with an undirected graph since the head and tail of an edge are meaningless.
 As a convention, the first time an undirected edge appears, the
-<A HREF="lang.html">DOT</A>
+<A HREF=lang.html>DOT</A>
 parser will assign the left node as the tail node and the right node as
 the head. For example, the edge <TT>A -- B</TT> will have tail <TT>A</TT>
 and head <TT>B</TT>. It is the user's responsibility to handle such