diff options
Diffstat (limited to 'doc/Config')
| -rw-r--r-- | doc/Config | 28 |
1 files changed, 14 insertions, 14 deletions
@@ -30,20 +30,20 @@ $SEPARATED_FOOTNOTES = 0; $BODYTEXT = ""; -$EXTRA_HEAD="\ - <link rev=\"made\" href=\"mailto:gray@gnu.org.ua\">\ - <link rel=\"stylesheet\" type=\"text/css\" href=\"${top_html_dir}/gray.css\">\ - <link rel=\"stylesheet\" type=\"text/css\" href=\"${top_html_dir}/texi.css\">\ - <link rel=\"icon\" type=\"image/png\" href=\"/graphics/gnu-head-icon.png\">"; - -$AFTER_BODY_OPEN="\ -<!--#include virtual=\"${top_html_dir}/inc/header.html\" -->\ -<ul class=\"tabs\">\ - <li><a href=\"/software/pies/pies.html\">Main</a></li>\ - <li><a href=\"/software/pies/example.html\">Examples</a></li>\ - <li><a href=\"/software/pies/download.html\">Downloads</a></li>\ - <li><a class=\"active\" href=\"/software/pies/manual.html\">Documentation</a></li>\ -</ul>"; +$EXTRA_HEAD=qq{ + <link rev="made" href="mailto:gray@gnu.org.ua"> + <link rel="stylesheet" type="text/css" href="${top_html_dir}/gray.css"> + <link rel="stylesheet" type="text/css" href="${top_html_dir}/texi.css"> + <link rel="icon" type="image/png" href="/graphics/gnu-head-icon.png">}; + +$AFTER_BODY_OPEN=qq{ +<!--#include virtual="${top_html_dir}/inc/header.html" --> +<ul class="tabs"> + <li><a href="${top_html_dir}/pies.html">Main</a></li> + <li><a href="${top_html_dir}/example.html">Examples</a></li> + <li><a href="${top_html_dir}/download.html">Downloads</a></li> + <li><a class="active" href="${top_html_dir}/manual.html">Documentation</a></li> +</ul>}; $PRE_BODY_CLOSE="Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved."; |