diff options
Diffstat (limited to 'src/docs/0012.html')
| -rw-r--r-- | src/docs/0012.html | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/docs/0012.html b/src/docs/0012.html index a53264a..32dca75 100644 --- a/src/docs/0012.html +++ b/src/docs/0012.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_t0012"> +<meta http-equiv="Refresh" content="0; url=Conventions.html#g_t0012"> </head> <body lang="en"> -<p>The node you are looking for is at <a href="General-Conventions.html#g_t0012">0012</a>.</p> +<p>The node you are looking for is at <a href="Conventions.html#g_t0012">0012</a>.</p> </body> |