diff options
Diffstat (limited to 'src/docs/0013.html')
| -rw-r--r-- | src/docs/0013.html | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/docs/0013.html b/src/docs/0013.html index 95fee3c..27102b1 100644 --- a/src/docs/0013.html +++ b/src/docs/0013.html @@ -7,7 +7,8 @@ under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free -Documentation License." --> +Documentation License." + --> <!-- Created by GNU Texinfo 6.7, http://www.gnu.org/software/texinfo/ --> <!-- This file redirects to the location of a node or anchor --> <head> @@ -38,11 +39,11 @@ ul.no-bullet {list-style: none} --> </style> -<meta http-equiv="Refresh" content="0; url=General-Conventions.html#g_t0013"> +<meta http-equiv="Refresh" content="0; url=Conventions.html#g_t0013"> </head> <body lang="en"> -<p>The node you are looking for is at <a href="General-Conventions.html#g_t0013">0013</a>.</p> +<p>The node you are looking for is at <a href="Conventions.html#g_t0013">0013</a>.</p> </body> |