aboutsummaryrefslogtreecommitdiff
path: root/doc/html.init
diff options
context:
space:
mode:
authorSergey Poznyakoff <gray@gnu.org>2015-08-14 08:07:26 +0300
committerSergey Poznyakoff <gray@gnu.org>2015-08-14 08:07:26 +0300
commit4683f7830491d1d50c5097466d9a066cb41286c7 (patch)
tree3a028bb7a326f61dbaaa5b9408ff061c53fcb0cf /doc/html.init
parentb0d2697f689348976da7aefd506b3d8b6fdee420 (diff)
downloadpies-4683f7830491d1d50c5097466d9a066cb41286c7.tar.gz
pies-4683f7830491d1d50c5097466d9a066cb41286c7.tar.bz2
Fix doc generation.
The default Config file applies to all output formats, which is wrong. Use a dedicated configuration file for html output formats, and defaults for the rest. * doc/Config: Rename to doc/html.init (with changes).
Diffstat (limited to 'doc/html.init')
-rw-r--r--doc/html.init164
1 files changed, 164 insertions, 0 deletions
diff --git a/doc/html.init b/doc/html.init
new file mode 100644
index 0000000..1eb2d89
--- /dev/null
+++ b/doc/html.init
@@ -0,0 +1,164 @@
+# Texi2any configuration for pies documentation. -*- perl -*-
+# Copyright (C) 2009, 2010, 2013, 2015 Sergey Poznyakoff
+#
+# GNU Pies is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# GNU Pies is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GNU Pies. If not, see <http://www.gnu.org/licenses/>.
+use strict;
+
+my $top_html_dir="/software/pies";
+my $graphics_dir="$top_html_dir/graphics";
+
+# Show TOC in place of the @contents directive.
+set_from_init_file('INLINE_CONTENTS', 1);
+# Do not show Texinfo menus.
+set_from_init_file('SHOW_MENU', 0);
+# Inhibit output of CSS lines in page headers.
+set_from_init_file('CSS_LINES', '');
+
+set_from_init_file('BODYTEXT', "");
+
+set_from_init_file('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">});
+
+set_from_init_file('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>});
+
+sub gray_end_file($)
+{
+ my $self = shift;
+ my $program_text = '';
+ if ($self->get_conf('PROGRAM_NAME_IN_FOOTER')) {
+ my $program_string = &{$self->{'format_program_string'}}($self);
+ $program_text = "<p>
+ $program_string
+</p>";
+ }
+ my $pre_body_close = $self->get_conf('PRE_BODY_CLOSE');
+ $pre_body_close = '' if (!defined($pre_body_close));
+ return "</div>
+<div class=\"copyright\">
+$program_text
+
+$pre_body_close
+</div>
+</div>
+</body>
+</html>
+";
+}
+
+texinfo_register_formatting_function('end_file', \&gray_end_file);
+
+set_from_init_file('PRE_BODY_CLOSE',
+ 'Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.');
+
+# Print generating program name at the bottom of a page.
+set_from_init_file('PROGRAM_NAME_IN_FOOTER',1);
+
+# Disable horizontal bars
+set_from_init_file('DEFAULT_RULE', '');
+set_from_init_file('BIG_RULE', '');
+
+# Turn off navigation bars at the bottom of each section in chapter split mode,
+# or subsection in section split mode.
+set_from_init_file('HEADERS', undef)
+ if ((get_conf('SPLIT') eq 'chapter') or (get_conf('SPLIT') eq 'section'));
+# Use navigation icons
+
+set_from_init_file('ICONS', 1);
+
+set_from_init_file('ACTIVE_ICONS',
+ {
+ 'Top' => "$graphics_dir/top.png",
+ 'Contents' => "$graphics_dir/ctx.png",
+ 'Overview' => '',
+ 'Index' => "$graphics_dir/idx.png",
+ 'This' => '',
+ 'Back' => "$graphics_dir/left.png",
+ 'FastBack' => "$graphics_dir/bwd.png",
+ 'Prev' => "",
+ 'Up' => "$graphics_dir/up.png",
+ 'Next' => "$graphics_dir/right.png",
+ 'NodeUp' => "$graphics_dir/left.png",
+ 'NodeNext' => "$graphics_dir/up.png",
+ 'NodePrev' => "$graphics_dir/right.png",
+ 'Following' => "$graphics_dir/right.png",
+ 'Forward' => "$graphics_dir/right.png",
+ 'FastForward' => "$graphics_dir/fwd.png",
+ 'About' => '',
+ 'First' => '',
+ 'Last' => '',
+ ' ' => ''
+ });
+
+sub gray_split_status()
+{
+ my $split = get_conf('SPLIT');
+ if ($split eq '') {
+ return '';
+ } elsif ($split eq 'node') {
+ return ' <span class="splitstatus">(split by node)</span>';
+ } elsif ($split eq 'section') {
+ return ' <span class="splitstatus">(split by section)</span>';
+ } elsif ($split eq 'chapter') {
+ return ' <span class="splitstatus">(split by chapter)</span>';
+ }
+}
+
+sub gray_document_title($$)
+{
+ my $self = shift;
+ my $direction = shift;
+ my $status = gray_split_status();
+
+ return q{<span class="title">} . $self->{title_string} . '</span>' .$status . q{<span class="title">:</span>};
+}
+
+sub gray_sec_ref($$)
+{
+ return q{<span class="navtext">Section:</span>};
+}
+
+sub gray_chap_ref($$)
+{
+ return q{<span class="navtext">Chapter:</span>};
+}
+
+
+my @gray_buttons = (\&gray_document_title, ' ',
+ \&gray_sec_ref, 'Back', 'Forward', ' ',
+ \&gray_chap_ref,
+ 'FastBack', ' ', 'Up', ' ', 'FastForward', ' ',
+ 'Contents', 'Index' );
+
+set_from_init_file('TOP_BUTTONS', undef);
+set_from_init_file('SECTION_BUTTONS', \@gray_buttons);
+set_from_init_file('CHAPTER_BUTTONS', \@gray_buttons);
+set_from_init_file('NODE_FOOTER_BUTTONS', \@gray_buttons);
+set_from_init_file('SECTION_FOOTER_BUTTONS', \@gray_buttons);
+set_from_init_file('MISC_BUTTONS',
+ [\&gray_document_title,
+ 'Contents',
+ 'Index',
+ ' ',
+ 'About'
+ ]);

Return to:

Send suggestions and report system problems to the System administrator.