components/texinfo/texi2html.pl
author Norm Jacobs <Norm.Jacobs@Oracle.COM>
Wed, 11 May 2011 16:27:33 -0700
changeset 233 95421649b836
permissions -rw-r--r--
7017805 texinfo should move to userland (add texi2html)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
233
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     1
#!/usr/perl5/bin/perl
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     2
'di ';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     3
'ig 00 ';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     4
#+##############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     5
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     6
# File: texi2html                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     7
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     8
# Description: Program to transform most Texinfo documents to HTML             #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
     9
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    10
#-##############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    11
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    12
# From @(#)texi2html	1.52 01/05/98	Written (mainly) by Lionel Cons, [email protected]
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    13
# $Id: texi2html,v 1.5 1999/02/20 20:27:00 karl Exp $
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    14
# This version of texi2html is currently maintained at
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    15
# ftp://ftp.cs.umb.edu/pub/tex/texi2html by [email protected]
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    16
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    17
# The man page for this program is included at the end of this file and can be
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    18
# viewed using the command 'nroff -man texi2html'.
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    19
# Please read the copyright at the end of the man page.
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    20
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    21
#+++############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    22
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    23
# Constants                                                                    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    24
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    25
#---############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    26
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    27
$DEBUG_TOC   =  1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    28
$DEBUG_INDEX =  2;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    29
$DEBUG_BIB   =  4;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    30
$DEBUG_GLOSS =  8;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    31
$DEBUG_DEF   = 16;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    32
$DEBUG_HTML  = 32;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    33
$DEBUG_USER  = 64;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    34
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    35
$BIBRE = '\[[\w\/-]+\]';		# RE for a bibliography reference
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    36
$FILERE = '[\/\w.+-]+';			# RE for a file name
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    37
$VARRE = '[^\s\{\}]+';			# RE for a variable name
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    38
$NODERE = '[^@{}:\'`",]+';		# RE for a node name
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    39
$NODESRE = '[^@{}:\'`"]+';		# RE for a list of node names
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    40
$XREFRE = '[^@{}]+';			# RE for a xref (should use NODERE)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    41
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    42
$ERROR = "***";			        # prefix for errors and warnings
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    43
$THISVERSION = "1.56k";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    44
$THISPROG = "texi2html $THISVERSION";	# program name and version
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    45
$HOMEPAGE = "http://wwwinfo.cern.ch/dis/texi2html/"; # program home page
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    46
$TODAY = &pretty_date;			# like "20 September 1993"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    47
$SPLITTAG = "<!-- SPLIT HERE -->\n";	# tag to know where to split
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    48
$PROTECTTAG = "_ThisIsProtected_";	# tag to recognize protected sections
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    49
$html2_doctype = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0 Strict Level 2//EN">';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    50
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    51
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    52
# language dependent constants
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    53
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    54
#$LDC_SEE = 'see';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    55
#$LDC_SECTION = 'section';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    56
#$LDC_IN = 'in';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    57
#$LDC_TOC = 'Table of Contents';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    58
#$LDC_GOTO = 'Go to the';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    59
#$LDC_FOOT = 'Footnotes';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    60
# TODO: @def* shortcuts
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    61
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    62
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    63
# pre-defined indices
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    64
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    65
%predefined_index = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    66
		    'cp', 'c',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    67
		    'fn', 'f',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    68
		    'vr', 'v',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    69
		    'ky', 'k',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    70
		    'pg', 'p',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    71
		    'tp', 't',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    72
	            );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    73
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    74
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    75
# valid indices
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    76
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    77
%valid_index = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    78
		    'c', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    79
		    'f', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    80
		    'v', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    81
		    'k', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    82
		    'p', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    83
		    't', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    84
		);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    85
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    86
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    87
# texinfo section names to level
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    88
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    89
%sec2level = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    90
	      'top', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    91
	      'chapter', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    92
	      'unnumbered', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    93
	      'majorheading', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    94
	      'chapheading', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    95
	      'appendix', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    96
	      'section', 2,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    97
	      'unnumberedsec', 2,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    98
	      'heading', 2,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
    99
	      'appendixsec', 2,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   100
	      'appendixsection', 2,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   101
	      'subsection', 3,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   102
	      'unnumberedsubsec', 3,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   103
	      'subheading', 3,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   104
	      'appendixsubsec', 3,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   105
	      'subsubsection', 4,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   106
	      'unnumberedsubsubsec', 4,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   107
	      'subsubheading', 4,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   108
	      'appendixsubsubsec', 4,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   109
	      );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   110
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   111
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   112
# accent map, TeX command to ISO name
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   113
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   114
%accent_map = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   115
	       '"',  'uml',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   116
	       '~',  'tilde',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   117
	       '^',  'circ',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   118
	       '`',  'grave',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   119
	       '\'', 'acute',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   120
	       );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   121
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   122
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   123
# texinfo "simple things" (@foo) to HTML ones
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   124
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   125
%simple_map = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   126
	       # cf. makeinfo.c
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   127
	       "*", "<BR>",		# HTML+
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   128
	       " ", " ",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   129
	       "\t", " ",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   130
  	       "-", "&#173;",	# soft hyphen
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   131
	       "\n", "\n",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   132
	       "|", "",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   133
	       'tab', '<\/TD><TD>',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   134
	       # spacing commands
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   135
	       ":", "",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   136
	       "!", "!",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   137
	       "?", "?",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   138
	       ".", ".",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   139
	       "-", "",
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   140
	       );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   141
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   142
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   143
# texinfo "things" (@foo{}) to HTML ones
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   144
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   145
%things_map = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   146
	       'TeX', 'TeX',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   147
	       'br', '<P>',		# paragraph break
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   148
	       'bullet', '*',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   149
	       'copyright', '(C)',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   150
	       'dots', '...',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   151
	       'equiv', '==',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   152
	       'error', 'error-->',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   153
	       'expansion', '==>',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   154
	       'minus', '-',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   155
	       'point', '-!-',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   156
	       'print', '-|',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   157
	       'result', '=>',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   158
	       'today', $TODAY,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   159
	       );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   160
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   161
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   162
# texinfo styles (@foo{bar}) to HTML ones
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   163
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   164
%style_map = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   165
	      'asis', '',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   166
	      'b', 'B',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   167
	      'cite', 'CITE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   168
	      'code', 'CODE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   169
	      'ctrl', '&do_ctrl',	# special case
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   170
	      'dfn', 'EM',		# DFN tag is illegal in the standard
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   171
	      'dmn', '',		# useless
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   172
	      'email', '&do_email',     # insert a clickable email address
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   173
	      'emph', 'EM',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   174
	      'file', '"TT',		# will put quotes, cf. &apply_style
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   175
	      'i', 'I',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   176
	      'kbd', 'KBD',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   177
	      'key', 'KBD',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   178
	      'math', 'EM',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   179
	      'r', '',			# unsupported
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   180
	      'samp', '"SAMP',		# will put quotes, cf. &apply_style
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   181
	      'sc', '&do_sc',		# special case
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   182
	      'strong', 'STRONG',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   183
	      't', 'TT',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   184
	      'titlefont', '',		# useless
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   185
	      'uref', '&do_uref',       # insert a clickable URL
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   186
	      'url', '&do_url',         # insert a clickable URL
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   187
	      'var', 'VAR',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   188
	      'w', '',			# unsupported
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   189
	      );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   190
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   191
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   192
# texinfo format (@foo/@end foo) to HTML ones
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   193
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   194
%format_map = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   195
	       'display', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   196
	       'example', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   197
	       'format', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   198
	       'lisp', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   199
	       'quotation', 'BLOCKQUOTE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   200
	       'smallexample', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   201
	       'smalllisp', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   202
	       # lists
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   203
	       'itemize', 'UL',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   204
	       'enumerate', 'OL',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   205
	       # poorly supported
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   206
	       'flushleft', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   207
	       'flushright', 'PRE',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   208
	       );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   209
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   210
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   211
# texinfo definition shortcuts to real ones
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   212
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   213
%def_map = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   214
	    # basic commands
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   215
	    'deffn', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   216
	    'defvr', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   217
	    'deftypefn', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   218
	    'deftypevr', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   219
	    'defcv', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   220
	    'defop', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   221
	    'deftp', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   222
	    # basic x commands
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   223
	    'deffnx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   224
	    'defvrx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   225
	    'deftypefnx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   226
	    'deftypevrx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   227
	    'defcvx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   228
	    'defopx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   229
	    'deftpx', 0,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   230
	    # shortcuts
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   231
	    'defun', 'deffn Function',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   232
	    'defmac', 'deffn Macro',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   233
	    'defspec', 'deffn {Special Form}',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   234
	    'defvar', 'defvr Variable',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   235
	    'defopt', 'defvr {User Option}',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   236
	    'deftypefun', 'deftypefn Function',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   237
	    'deftypevar', 'deftypevr Variable',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   238
	    'defivar', 'defcv {Instance Variable}',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   239
	    'defmethod', 'defop Method',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   240
	    # x shortcuts
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   241
	    'defunx', 'deffnx Function',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   242
	    'defmacx', 'deffnx Macro',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   243
	    'defspecx', 'deffnx {Special Form}',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   244
	    'defvarx', 'defvrx Variable',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   245
	    'defoptx', 'defvrx {User Option}',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   246
	    'deftypefunx', 'deftypefnx Function',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   247
	    'deftypevarx', 'deftypevrx Variable',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   248
	    'defivarx', 'defcvx {Instance Variable}',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   249
	    'defmethodx', 'defopx Method',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   250
	    );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   251
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   252
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   253
# things to skip
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   254
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   255
%to_skip = (
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   256
	    # comments
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   257
	    'c', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   258
	    'comment', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   259
            'ifnothtml', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   260
	    # useless
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   261
	    'detailmenu', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   262
            'direntry', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   263
	    'contents', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   264
	    'shortcontents', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   265
	    'summarycontents', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   266
	    'footnotestyle', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   267
	    'end ifclear', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   268
	    'end ifset', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   269
	    'titlepage', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   270
	    'end titlepage', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   271
	    # unsupported commands (formatting)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   272
	    'afourpaper', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   273
	    'cropmarks', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   274
	    'finalout', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   275
	    'headings', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   276
            'sp', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   277
	    'need', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   278
	    'page', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   279
	    'setchapternewpage', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   280
	    'everyheading', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   281
	    'everyfooting', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   282
	    'evenheading', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   283
	    'evenfooting', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   284
	    'oddheading', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   285
	    'oddfooting', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   286
	    'smallbook', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   287
	    'vskip', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   288
	    'filbreak', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   289
	    'paragraphindent', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   290
	    # unsupported formats
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   291
	    'cartouche', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   292
	    'end cartouche', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   293
	    'group', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   294
	    'end group', 1,
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   295
	    );
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   296
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   297
#+++############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   298
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   299
# Argument parsing, initialisation                                             #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   300
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   301
#---############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   302
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   303
%value = ();				# hold texinfo variables, see also -D
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   304
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   305
$use_bibliography = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   306
$use_acc = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   307
$debug = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   308
$doctype = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   309
$check = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   310
$expandinfo = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   311
$use_glossary = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   312
$invisible_mark = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   313
$use_iso = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   314
@include_dirs = ();
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   315
$show_menu = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   316
$number_sections = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   317
$split_node = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   318
$split_chapter = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   319
$monolithic = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   320
$verbose = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   321
$usage = <<EOT;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   322
This is $THISPROG
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   323
To convert a Texinfo file to HMTL: $0 [options] file
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   324
  where options can be:
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   325
    -expandinfo    : use \@ifinfo sections, not \@iftex
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   326
    -glossary      : handle a glossary
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   327
    -invisible name: use 'name' as an invisible anchor
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   328
    -Dname         : define name like with \@set
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   329
    -I dir         : search also for files in 'dir'
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   330
    -menu          : handle menus
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   331
    -monolithic    : output only one file including ToC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   332
    -number        : number sections
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   333
    -split_chapter : split on main sections
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   334
    -split_node    : split on nodes
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   335
    -usage         : print usage instructions
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   336
    -verbose       : verbose output
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   337
To check converted files: $0 -check [-verbose] files
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   338
EOT
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   339
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   340
while (@ARGV && $ARGV[0] =~ /^-/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   341
    $_ = shift(@ARGV);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   342
    if (/^-acc$/)            { $use_acc = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   343
    if (/^-d(ebug)?(\d+)?$/) { $debug = $2 || shift(@ARGV); next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   344
    if (/^-doctype$/)        { $doctype = shift(@ARGV); next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   345
    if (/^-c(heck)?$/)       { $check = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   346
    if (/^-e(xpandinfo)?$/)  { $expandinfo = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   347
    if (/^-g(lossary)?$/)    { $use_glossary = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   348
    if (/^-i(nvisible)?$/)   { $invisible_mark = shift(@ARGV); next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   349
    if (/^-iso$/)            { $use_iso = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   350
    if (/^-D(.+)?$/)         { $value{$1 || shift(@ARGV)} = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   351
    if (/^-I(.+)?$/)         { push(@include_dirs, $1 || shift(@ARGV)); next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   352
    if (/^-m(enu)?$/)        { $show_menu = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   353
    if (/^-mono(lithic)?$/)  { $monolithic = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   354
    if (/^-n(umber)?$/)      { $number_sections = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   355
    if (/^-s(plit)?_?(n(ode)?|c(hapter)?)?$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   356
	if ($2 =~ /^n/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   357
	    $split_node = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   358
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   359
	    $split_chapter = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   360
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   361
	next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   362
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   363
    if (/^-v(erbose)?$/)     { $verbose = 1; next; }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   364
    die $usage;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   365
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   366
if ($check) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   367
    die $usage unless @ARGV > 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   368
    &check;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   369
    exit;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   370
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   371
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   372
if (($split_node || $split_chapter) && $monolithic) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   373
    warn "Can't use -monolithic with -split, -monolithic ignored.\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   374
    $monolithic = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   375
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   376
if ($expandinfo) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   377
    $to_skip{'ifinfo'}++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   378
    $to_skip{'end ifinfo'}++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   379
    $to_skip{'ifnottex'}++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   380
    $to_skip{'end ifnottex'}++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   381
} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   382
    $to_skip{'iftex'}++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   383
    $to_skip{'end iftex'}++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   384
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   385
$invisible_mark = '<IMG SRC="invisible.xbm">' if $invisible_mark eq 'xbm';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   386
die $usage unless @ARGV == 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   387
$docu = shift(@ARGV);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   388
if ($docu =~ /.*\//) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   389
    chop($docu_dir = $&);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   390
    $docu_name = $';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   391
} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   392
    $docu_dir = '.';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   393
    $docu_name = $docu;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   394
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   395
unshift(@include_dirs, $docu_dir);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   396
$docu_name =~ s/\.te?x(i|info)?$//;	# basename of the document
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   397
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   398
$docu_doc = "$docu_name.html";		# document's contents
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   399
if ($monolithic) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   400
    $docu_toc = $docu_foot = $docu_doc;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   401
} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   402
    $docu_toc  = "${docu_name}_toc.html";  # document's table of contents
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   403
    $docu_foot = "${docu_name}_foot.html"; # document's footnotes
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   404
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   405
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   406
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   407
# variables
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   408
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   409
$value{'html'} = 1;			# predefine html (the output format)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   410
$value{'texi2html'} = $THISVERSION;	# predefine texi2html (the translator)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   411
# _foo: internal to track @foo
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   412
foreach ('_author', '_title', '_subtitle',
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   413
	 '_settitle', '_setfilename') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   414
    $value{$_} = '';		        # prevent -w warnings
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   415
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   416
%node2sec = ();				# node to section name
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   417
%node2href = ();			# node to HREF
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   418
%bib2href = ();				# bibliography reference to HREF
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   419
%gloss2href = ();			# glossary term to HREF
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   420
@sections = ();				# list of sections
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   421
%tag2pro = ();				# protected sections
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   422
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   423
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   424
# initial indexes
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   425
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   426
$bib_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   427
$foot_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   428
$gloss_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   429
$idx_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   430
$sec_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   431
$doc_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   432
$html_num = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   433
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   434
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   435
# can I use ISO8879 characters? (HTML+)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   436
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   437
if ($use_iso) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   438
    $things_map{'bullet'} = "&bull;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   439
    $things_map{'copyright'} = "&copy;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   440
    $things_map{'dots'} = "&hellip;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   441
    $things_map{'equiv'} = "&equiv;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   442
    $things_map{'expansion'} = "&rarr;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   443
    $things_map{'point'} = "&lowast;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   444
    $things_map{'result'} = "&rArr;";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   445
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   446
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   447
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   448
# read texi2html extensions (if any)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   449
#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   450
$extensions = 'texi2html.ext'; # extensions in working directory
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   451
if (-f $extensions) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   452
    print "# reading extensions from $extensions\n" if $verbose;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   453
    require($extensions);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   454
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   455
($progdir = $0) =~ s/[^\/]+$//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   456
if ($progdir && ($progdir ne './')) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   457
    $extensions = "${progdir}texi2html.ext"; # extensions in texi2html directory
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   458
    if (-f $extensions) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   459
	print "# reading extensions from $extensions\n" if $verbose;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   460
	require($extensions);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   461
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   462
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   463
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   464
print "# reading from $docu\n" if $verbose;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   465
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   466
#+++############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   467
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   468
# Pass 1: read source, handle command, variable, simple substitution           #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   469
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   470
#---############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   471
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   472
@lines = ();				# whole document
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   473
@toc_lines = ();			# table of contents
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   474
$toplevel = 0;			        # top level seen in hierarchy
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   475
$curlevel = 0;				# current level in TOC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   476
$node = '';				# current node name
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   477
$in_table = 0;				# am I inside a table
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   478
$table_type = '';			# type of table ('', 'f', 'v', 'multi')
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   479
@tables = ();			        # nested table support
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   480
$in_bibliography = 0;			# am I inside a bibliography
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   481
$in_glossary = 0;			# am I inside a glossary
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   482
$in_top = 0;				# am I inside the top node
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   483
$in_pre = 0;				# am I inside a preformatted section
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   484
$in_list = 0;				# am I inside a list
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   485
$in_html = 0;				# am I inside an HTML section
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   486
$first_line = 1;		        # is it the first line
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   487
$dont_html = 0;				# don't protect HTML on this line
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   488
$split_num = 0;				# split index
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   489
$deferred_ref = '';			# deferred reference for indexes
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   490
@html_stack = ();			# HTML elements stack
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   491
$html_element = '';			# current HTML element
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   492
&html_reset;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   493
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   494
# build code for simple substitutions
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   495
# the maps used (%simple_map and %things_map) MUST be aware of this
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   496
# watch out for regexps, / and escaped characters!
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   497
$subst_code = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   498
foreach (keys(%simple_map)) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   499
    ($re = $_) =~ s/(\W)/\\$1/g; # protect regexp chars
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   500
    $subst_code .= "s/\\\@$re/$simple_map{$_}/g;\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   501
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   502
foreach (keys(%things_map)) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   503
    $subst_code .= "s/\\\@$_\\{\\}/$things_map{$_}/g;\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   504
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   505
if ($use_acc) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   506
    # accentuated characters
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   507
    foreach (keys(%accent_map)) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   508
	if ($_ eq "`") {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   509
	    $subst_code .= "s/$;3";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   510
	} elsif ($_ eq "'") {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   511
	    $subst_code .= "s/$;4";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   512
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   513
	    $subst_code .= "s/\\\@\\$_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   514
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   515
	$subst_code .= "([aeiou])/&\${1}$accent_map{$_};/gi;\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   516
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   517
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   518
eval("sub simple_substitutions { $subst_code }");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   519
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   520
&init_input;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   521
while ($_ = &next_line) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   522
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   523
    # remove \input on the first lines only
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   524
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   525
    if ($first_line) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   526
	next if /^\\input/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   527
	$first_line = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   528
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   529
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   530
    # parse texinfo tags
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   531
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   532
    $tag = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   533
    $end_tag = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   534
    if (/^\s*\@end\s+(\w+)\b/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   535
	$end_tag = $1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   536
    } elsif (/^\s*\@(\w+)\b/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   537
	$tag = $1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   538
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   539
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   540
    # handle @ifhtml / @end ifhtml
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   541
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   542
    if ($in_html) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   543
	if ($end_tag eq 'ifhtml') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   544
	    $in_html = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   545
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   546
	    $tag2pro{$in_html} .= $_;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   547
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   548
	next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   549
    } elsif ($tag eq 'ifhtml') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   550
	$in_html = $PROTECTTAG . ++$html_num;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   551
	push(@lines, $in_html);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   552
	next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   553
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   554
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   555
    # try to skip the line
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   556
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   557
    if ($end_tag) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   558
	next if $to_skip{"end $end_tag"};
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   559
    } elsif ($tag) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   560
	next if $to_skip{$tag};
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   561
	last if $tag eq 'bye';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   562
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   563
    if ($in_top) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   564
	# parsing the top node
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   565
	if ($tag eq 'node' || $tag eq 'include' || $sec2level{$tag}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   566
	    # no more in top
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   567
	    $in_top = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   568
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   569
	    # skip it
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   570
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   571
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   572
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   573
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   574
    # try to remove inlined comments
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   575
    # syntax from tex-mode.el comment-start-skip
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   576
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   577
    s/((^|[^\@])(\@\@)*)\@c(omment)? .*/$1/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   578
    # [email protected] substitutions cf. texinfmt.el
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   579
    unless ($in_pre) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   580
	s/``/\"/g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   581
	s/''/\"/g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   582
	s/([\w ])---([\w ])/$1--$2/g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   583
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   584
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   585
    # analyze the tag
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   586
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   587
    if ($tag) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   588
	# skip lines
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   589
	&skip_until($tag), next if $tag eq 'ignore';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   590
	if ($expandinfo) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   591
	    &skip_until($tag), next if $tag eq 'iftex';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   592
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   593
	    &skip_until($tag), next if $tag eq 'ifinfo';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   594
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   595
	&skip_until($tag), next if $tag eq 'tex';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   596
	# handle special tables
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   597
	if ($tag =~ /^(|f|v|multi)table$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   598
	    $table_type = $1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   599
	    $tag = 'table';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   600
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   601
	# special cases
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   602
	if ($tag eq 'top' || ($tag eq 'node' && /^\@node\s+top\s*,/i)) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   603
	    $in_top = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   604
	    @lines = (); # ignore all lines before top (title page garbage)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   605
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   606
	} elsif ($tag eq 'node') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   607
	    $in_top = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   608
	    warn "$ERROR Bad node line: $_" unless $_ =~ /^\@node\s$NODESRE$/o;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   609
	    $_ = &protect_html($_); # if node contains '&' for instance
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   610
	    s/^\@node\s+//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   611
	    ($node) = split(/,/);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   612
	    &normalise_node($node);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   613
	    if ($split_node) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   614
		&next_doc;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   615
		push(@lines, $SPLITTAG) if $split_num++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   616
		push(@sections, $node);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   617
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   618
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   619
	} elsif ($tag eq 'include') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   620
	    if (/^\@include\s+($FILERE)\s*$/o) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   621
		$file = $1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   622
		unless (-e $file) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   623
		    foreach $dir (@include_dirs) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   624
			$file = "$dir/$1";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   625
			last if -e $file;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   626
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   627
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   628
		if (-e $file) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   629
		    &open($file);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   630
		    print "# including $file\n" if $verbose;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   631
		} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   632
		    warn "$ERROR Can't find $file, skipping";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   633
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   634
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   635
		warn "$ERROR Bad include line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   636
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   637
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   638
	} elsif ($tag eq 'ifclear') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   639
	    if (/^\@ifclear\s+($VARRE)\s*$/o) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   640
		next unless defined($value{$1});
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   641
		&skip_until($tag);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   642
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   643
		warn "$ERROR Bad ifclear line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   644
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   645
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   646
	} elsif ($tag eq 'ifset') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   647
	    if (/^\@ifset\s+($VARRE)\s*$/o) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   648
		next if defined($value{$1});
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   649
		&skip_until($tag);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   650
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   651
		warn "$ERROR Bad ifset line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   652
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   653
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   654
	} elsif ($tag eq 'menu') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   655
	    unless ($show_menu) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   656
		&skip_until($tag);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   657
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   658
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   659
	    &html_push_if($tag);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   660
	    push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   661
	} elsif ($format_map{$tag}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   662
	    $in_pre = 1 if $format_map{$tag} eq 'PRE';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   663
	    &html_push_if($format_map{$tag});
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   664
	    push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   665
	    $in_list++ if $format_map{$tag} eq 'UL' || $format_map{$tag} eq 'OL' ;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   666
	    push(@lines, &debug("<$format_map{$tag}>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   667
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   668
	} elsif ($tag eq 'table') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   669
	    if (/^\s*\@(|f|v|multi)table\s+\@(\w+)/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   670
		$in_table = $2;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   671
		unshift(@tables, join($;, $table_type, $in_table));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   672
		if ($table_type eq "multi") {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   673
		    push(@lines, &debug("<TABLE BORDER>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   674
		    &html_push_if('TABLE');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   675
		} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   676
		    push(@lines, &debug("<DL COMPACT>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   677
		    &html_push_if('DL');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   678
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   679
		push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   680
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   681
		warn "$ERROR Bad table line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   682
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   683
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   684
	} elsif ($tag eq 'synindex' || $tag eq 'syncodeindex') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   685
	    if (/^\@$tag\s+(\w)\w\s+(\w)\w\s*$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   686
		eval("*${1}index = *${2}index");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   687
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   688
		warn "$ERROR Bad syn*index line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   689
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   690
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   691
	} elsif ($tag eq 'sp') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   692
	    push(@lines, &debug("<P>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   693
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   694
	} elsif ($tag eq 'setref') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   695
	    &protect_html; # if setref contains '&' for instance
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   696
	    if (/^\@$tag\s*{($NODERE)}\s*$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   697
		$setref = $1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   698
		$setref =~ s/\s+/ /g; # normalize
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   699
		$setref =~ s/ $//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   700
		$node2sec{$setref} = $name;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   701
		$node2href{$setref} = "$docu_doc#$docid";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   702
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   703
		warn "$ERROR Bad setref line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   704
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   705
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   706
	} elsif ($tag eq 'defindex' || $tag eq 'defcodeindex') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   707
	    if (/^\@$tag\s+(\w\w)\s*$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   708
		$valid_index{$1} = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   709
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   710
		warn "$ERROR Bad defindex line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   711
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   712
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   713
	} elsif ($tag eq 'lowersections') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   714
	    local ($sec, $level);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   715
	    while (($sec, $level) = each %sec2level) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   716
		$sec2level{$sec} = $level + 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   717
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   718
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   719
	} elsif ($tag eq 'raisesections') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   720
	    local ($sec, $level);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   721
	    while (($sec, $level) = each %sec2level) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   722
		$sec2level{$sec} = $level - 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   723
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   724
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   725
	} elsif (defined($def_map{$tag})) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   726
	    if ($def_map{$tag}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   727
		s/^\@$tag\s+//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   728
		$tag = $def_map{$tag};
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   729
		$_ = "\@$tag $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   730
		$tag =~ s/\s.*//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   731
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   732
	} elsif (defined($user_sub{$tag})) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   733
	    s/^\@$tag\s+//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   734
	    $sub = $user_sub{$tag};
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   735
	    print "# user $tag = $sub, arg: $_" if $debug & $DEBUG_USER;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   736
	    if (defined(&$sub)) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   737
		chop($_);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   738
		&$sub($_);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   739
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   740
		warn "$ERROR Bad user sub for $tag: $sub\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   741
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   742
	    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   743
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   744
	if (defined($def_map{$tag})) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   745
	    s/^\@$tag\s+//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   746
	    if ($tag =~ /x$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   747
		# extra definition line
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   748
		$tag = $`;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   749
		$is_extra = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   750
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   751
		$is_extra = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   752
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   753
	    while (/\{([^\{\}]*)\}/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   754
		# this is a {} construct
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   755
		($before, $contents, $after) = ($`, $1, $');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   756
		# protect spaces
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   757
		$contents =~ s/\s+/$;9/g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   758
		# restore $_ protecting {}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   759
		$_ = "$before$;7$contents$;8$after";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   760
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   761
	    @args = split(/\s+/, &protect_html($_));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   762
	    foreach (@args) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   763
		s/$;9/ /g;	# unprotect spaces
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   764
		s/$;7/\{/g;	# ... {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   765
		s/$;8/\}/g;	# ... }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   766
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   767
	    $type = shift(@args);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   768
	    $type =~ s/^\{(.*)\}$/$1/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   769
	    print "# def ($tag): {$type} ", join(', ', @args), "\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   770
		if $debug & $DEBUG_DEF;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   771
	    $type .= ':'; # it's nicer like this
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   772
	    $name = shift(@args);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   773
	    $name =~ s/^\{(.*)\}$/$1/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   774
	    if ($is_extra) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   775
		$_ = &debug("<DT>", __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   776
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   777
		$_ = &debug("<DL>\n<DT>", __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   778
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   779
	    if ($tag eq 'deffn' || $tag eq 'defvr' || $tag eq 'deftp') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   780
		$_ .= "<U>$type</U> <B>$name</B>";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   781
		$_ .= " <I>@args</I>" if @args;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   782
	    } elsif ($tag eq 'deftypefn' || $tag eq 'deftypevr'
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   783
		     || $tag eq 'defcv' || $tag eq 'defop') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   784
		$ftype = $name;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   785
		$name = shift(@args);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   786
		$name =~ s/^\{(.*)\}$/$1/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   787
		$_ .= "<U>$type</U> $ftype <B>$name</B>";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   788
		$_ .= " <I>@args</I>" if @args;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   789
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   790
		warn "$ERROR Unknown definition type: $tag\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   791
		$_ .= "<U>$type</U> <B>$name</B>";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   792
		$_ .= " <I>@args</I>" if @args;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   793
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   794
 	    $_ .= &debug("\n<DD>", __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   795
	    $name = &unprotect_html($name);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   796
	    if ($tag eq 'deffn' || $tag eq 'deftypefn') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   797
		unshift(@input_spool, "\@findex $name\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   798
	    } elsif ($tag eq 'defop') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   799
		unshift(@input_spool, "\@findex $name on $ftype\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   800
	    } elsif ($tag eq 'defvr' || $tag eq 'deftypevr' || $tag eq 'defcv') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   801
		unshift(@input_spool, "\@vindex $name\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   802
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   803
		unshift(@input_spool, "\@tindex $name\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   804
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   805
	    $dont_html = 1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   806
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   807
    } elsif ($end_tag) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   808
	if ($format_map{$end_tag}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   809
	    $in_pre = 0 if $format_map{$end_tag} eq 'PRE';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   810
	    $in_list-- if $format_map{$end_tag} eq 'UL' || $format_map{$end_tag} eq 'OL' ;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   811
	    &html_pop_if('LI', 'P');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   812
	    &html_pop_if();
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   813
	    push(@lines, &debug("</$format_map{$end_tag}>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   814
	    push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   815
	} elsif ($end_tag =~ /^(|f|v|multi)table$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   816
	    unless (@tables) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   817
		warn "$ERROR \@end $end_tag without \@*table\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   818
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   819
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   820
	    ($table_type, $in_table) = split($;, shift(@tables));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   821
	    unless ($1 eq $table_type) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   822
		warn "$ERROR \@end $end_tag without matching \@$end_tag\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   823
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   824
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   825
	    if ($table_type eq "multi") {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   826
		push(@lines, "</TR></TABLE>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   827
		&html_pop_if('TR');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   828
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   829
		push(@lines, "</DL>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   830
		&html_pop_if('DD');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   831
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   832
	    &html_pop_if();
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   833
	    if (@tables) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   834
		($table_type, $in_table) = split($;, $tables[0]);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   835
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   836
		$in_table = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   837
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   838
	} elsif (defined($def_map{$end_tag})) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   839
 	    push(@lines, &debug("</DL>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   840
	} elsif ($end_tag eq 'menu') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   841
	    &html_pop_if();
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   842
	    push(@lines, $_); # must keep it for pass 2
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   843
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   844
	next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   845
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   846
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   847
    # misc things
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   848
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   849
    # protect texi and HTML things
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   850
    &protect_texi;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   851
    $_ = &protect_html($_) unless $dont_html;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   852
    $dont_html = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   853
    # substitution (unsupported things)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   854
    s/^\@center\s+//g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   855
    s/^\@exdent\s+//g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   856
    s/\@noindent\s+//g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   857
    s/\@refill\s+//g;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   858
    # other substitutions
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   859
    &simple_substitutions;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   860
    s/\@value{($VARRE)}/$value{$1}/eg;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   861
    s/\@footnote\{/\@footnote$docu_doc\{/g; # mark footnotes, cf. pass 4
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   862
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   863
    # analyze the tag again
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   864
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   865
    if ($tag) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   866
	if (defined($sec2level{$tag}) && $sec2level{$tag} > 0) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   867
	    if (/^\@$tag\s+(.+)$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   868
		$name = $1;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   869
		$name =~ s/\s+$//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   870
		$level = $sec2level{$tag};
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   871
		$name = &update_sec_num($tag, $level) . " $name"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   872
		    if $number_sections && $tag !~ /^unnumbered/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   873
		if ($tag =~ /heading$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   874
		    push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   875
		    if ($html_element ne 'body') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   876
			# We are in a nice pickle here. We are trying to get a H? heading
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   877
			# even though we are not in the body level. So, we convert it to a
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   878
			# nice, bold, line by itself.
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   879
			$_ = &debug("\n\n<P><STRONG>$name</STRONG>\n\n", __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   880
		    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   881
			$_ = &debug("<H$level>$name</H$level>\n", __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   882
			&html_push_if('body');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   883
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   884
		    print "# heading, section $name, level $level\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   885
			if $debug & $DEBUG_TOC;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   886
		} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   887
		    if ($split_chapter) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   888
			unless ($toplevel) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   889
			    # first time we see a "section"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   890
			    unless ($level == 1) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   891
				warn "$ERROR The first section found is not of level 1: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   892
				warn "$ERROR I'll split on sections of level $level...\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   893
			    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   894
			    $toplevel = $level;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   895
			}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   896
			if ($level == $toplevel) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   897
			    &next_doc;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   898
			    push(@lines, $SPLITTAG) if $split_num++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   899
			    push(@sections, $name);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   900
			}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   901
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   902
		    $sec_num++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   903
		    $docid = "SEC$sec_num";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   904
		    $tocid = "TOC$sec_num";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   905
		    # check biblio and glossary
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   906
		    $in_bibliography = ($name =~ /^([A-Z]|\d+)?(\.\d+)*\s*bibliography$/i);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   907
		    $in_glossary = ($name =~ /^([A-Z]|\d+)?(\.\d+)*\s*glossary$/i);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   908
		    # check node
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   909
		    if ($node) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   910
			if ($node2sec{$node}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   911
			    warn "$ERROR Duplicate node found: $node\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   912
			} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   913
			    $node2sec{$node} = $name;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   914
			    $node2href{$node} = "$docu_doc#$docid";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   915
			    print "# node $node, section $name, level $level\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   916
				if $debug & $DEBUG_TOC;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   917
			}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   918
			$node = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   919
		    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   920
			print "# no node, section $name, level $level\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   921
			    if $debug & $DEBUG_TOC;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   922
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   923
		    # update TOC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   924
		    while ($level > $curlevel) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   925
			$curlevel++;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   926
			push(@toc_lines, "<UL>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   927
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   928
		    while ($level < $curlevel) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   929
			$curlevel--;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   930
			push(@toc_lines, "</UL>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   931
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   932
		    $_ = "<LI>" . &anchor($tocid, "$docu_doc#$docid", $name, 1);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   933
		    push(@toc_lines, &substitute_style($_));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   934
		    # update DOC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   935
		    push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   936
		    &html_reset;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   937
		    $_ =  "<H$level>".&anchor($docid, "$docu_toc#$tocid", $name)."</H$level>\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   938
		    $_ = &debug($_, __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   939
		    push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   940
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   941
		# update DOC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   942
		foreach $line (split(/\n+/, $_)) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   943
		    push(@lines, "$line\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   944
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   945
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   946
	    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   947
		warn "$ERROR Bad section line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   948
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   949
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   950
	    # track variables
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   951
	    $value{$1} = $2, next if /^\@set\s+($VARRE)\s+(.*)$/o;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   952
	    delete $value{$1}, next if /^\@clear\s+($VARRE)\s*$/o;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   953
	    # store things
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   954
	    $value{'_setfilename'}   = $1, next if /^\@setfilename\s+(.*)$/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   955
	    $value{'_settitle'}      = $1, next if /^\@settitle\s+(.*)$/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   956
	    $value{'_author'}   .= "$1\n", next if /^\@author\s+(.*)$/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   957
	    $value{'_subtitle'} .= "$1\n", next if /^\@subtitle\s+(.*)$/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   958
	    $value{'_title'}    .= "$1\n", next if /^\@title\s+(.*)$/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   959
	    # index
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   960
	    if (/^\@(..?)index\s+/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   961
		unless ($valid_index{$1}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   962
		    warn "$ERROR Undefined index command: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   963
		    next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   964
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   965
		$id = 'IDX' . ++$idx_num;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   966
		$index = $1 . 'index';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   967
		$what = &substitute_style($');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   968
		$what =~ s/\s+$//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   969
		print "# found $index for '$what' id $id\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   970
		    if $debug & $DEBUG_INDEX;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   971
		eval(<<EOC);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   972
		if (defined(\$$index\{\$what\})) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   973
		    \$$index\{\$what\} .= "$;$docu_doc#$id";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   974
		} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   975
		    \$$index\{\$what\} = "$docu_doc#$id";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   976
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   977
EOC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   978
		#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   979
		# dirty hack to see if I can put an invisible anchor...
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   980
		#
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   981
		if ($html_element eq 'P' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   982
		    $html_element eq 'LI' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   983
		    $html_element eq 'DT' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   984
		    $html_element eq 'DD' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   985
		    $html_element eq 'ADDRESS' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   986
		    $html_element eq 'B' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   987
		    $html_element eq 'BLOCKQUOTE' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   988
		    $html_element eq 'PRE' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   989
		    $html_element eq 'SAMP') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   990
                    push(@lines, &anchor($id, '', $invisible_mark, !$in_pre));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   991
                } elsif ($html_element eq 'body') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   992
		    push(@lines, &debug("<P>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   993
                    push(@lines, &anchor($id, '', $invisible_mark, !$in_pre));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   994
		    &html_push('P');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   995
		} elsif ($html_element eq 'DL' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   996
			 $html_element eq 'UL' ||
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   997
			 $html_element eq 'OL' ) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   998
		    $deferred_ref .= &anchor($id, '', $invisible_mark, !$in_pre) . " ";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
   999
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1000
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1001
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1002
	    # list item
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1003
	    if (/^\s*\@itemx?\s+/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1004
		$what = $';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1005
		$what =~ s/\s+$//;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1006
		if ($in_bibliography && $use_bibliography) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1007
		    if ($what =~ /^$BIBRE$/o) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1008
			$id = 'BIB' . ++$bib_num;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1009
			$bib2href{$what} = "$docu_doc#$id";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1010
			print "# found bibliography for '$what' id $id\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1011
			    if $debug & $DEBUG_BIB;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1012
			$what = &anchor($id, '', $what);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1013
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1014
		} elsif ($in_glossary && $use_glossary) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1015
		    $id = 'GLOSS' . ++$gloss_num;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1016
		    $entry = $what;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1017
		    $entry =~ tr/A-Z/a-z/ unless $entry =~ /^[A-Z\s]+$/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1018
		    $gloss2href{$entry} = "$docu_doc#$id";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1019
		    print "# found glossary for '$entry' id $id\n"
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1020
			if $debug & $DEBUG_GLOSS;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1021
		    $what = &anchor($id, '', $what);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1022
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1023
		&html_pop_if('P');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1024
		if ($html_element eq 'DL' || $html_element eq 'DD') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1025
		    if ($things_map{$in_table} && !$what) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1026
			# special case to allow @table @bullet for instance
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1027
			push(@lines, &debug("<DT>$things_map{$in_table}\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1028
		    } else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1029
			push(@lines, &debug("<DT>\@$in_table\{$what\}\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1030
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1031
		    push(@lines, "<DD>");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1032
		    &html_push('DD') unless $html_element eq 'DD';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1033
		    if ($table_type) { # add also an index
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1034
			unshift(@input_spool, "\@${table_type}index $what\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1035
		    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1036
		} elsif ($html_element eq 'TABLE') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1037
		    push(@lines, &debug("<TR><TD>$what</TD>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1038
		    &html_push('TR');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1039
		} elsif ($html_element eq 'TR') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1040
		    push(@lines, &debug("</TR>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1041
		    push(@lines, &debug("<TR><TD>$what</TD>\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1042
		} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1043
		    push(@lines, &debug("<LI>$what\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1044
		    &html_push('LI') unless $html_element eq 'LI';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1045
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1046
		push(@lines, &html_debug("\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1047
		if ($deferred_ref) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1048
		    push(@lines, &debug("$deferred_ref\n", __LINE__));
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1049
		    $deferred_ref = '';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1050
		}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1051
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1052
	    } elsif (/^\@tab\s+(.*)$/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1053
		push(@lines, "<TD>$1</TD>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1054
		next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1055
	    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1056
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1057
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1058
    # paragraph separator
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1059
    if ($_ eq "\n") {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1060
	next if $#lines >= 0 && $lines[$#lines] eq "\n";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1061
	if ($html_element eq 'P') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1062
	    push(@lines, "\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1063
	    $_ = &debug("\n", __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1064
	    &html_pop;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1065
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1066
    } elsif ($html_element eq 'body' || $html_element eq 'BLOCKQUOTE') {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1067
	push(@lines, "<P>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1068
	&html_push('P');
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1069
	$_ = &debug($_, __LINE__);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1070
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1071
    # otherwise
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1072
    push(@lines, $_);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1073
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1074
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1075
# finish TOC
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1076
$level = 0;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1077
while ($level < $curlevel) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1078
    $curlevel--;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1079
    push(@toc_lines, "</UL>\n");
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1080
}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1081
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1082
print "# end of pass 1\n" if $verbose;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1083
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1084
#+++############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1085
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1086
# Pass 2/3: handle style, menu, index, cross-reference                         #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1087
#                                                                              #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1088
#---############################################################################
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1089
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1090
@lines2 = ();				# whole document (2nd pass)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1091
@lines3 = ();				# whole document (3rd pass)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1092
$in_menu = 0;				# am I inside a menu
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1093
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1094
while (@lines) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1095
    $_ = shift(@lines);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1096
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1097
    # special case (protected sections)
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1098
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1099
    if (/^$PROTECTTAG/o) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1100
	push(@lines2, $_);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1101
	next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1102
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1103
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1104
    # menu
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1105
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1106
    $in_menu = 1, push(@lines2, &debug("<UL>\n", __LINE__)), next if /^\@menu\b/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1107
    $in_menu = 0, push(@lines2, &debug("</UL>\n", __LINE__)), next if /^\@end\s+menu\b/;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1108
    if ($in_menu) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1109
	if (/^\*\s+($NODERE)::/o) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1110
	    $descr = $';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1111
	    chop($descr);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1112
	    &menu_entry($1, $1, $descr);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1113
	} elsif (/^\*\s+(.+):\s+([^\t,\.\n]+)[\t,\.\n]/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1114
	    $descr = $';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1115
	    chop($descr);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1116
	    &menu_entry($1, $2, $descr);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1117
	} elsif (/^\*/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1118
	    warn "$ERROR Bad menu line: $_";
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1119
	} else { # description continued?
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1120
	    push(@lines2, $_);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1121
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1122
	next;
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1123
    }
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1124
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1125
    # printindex
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1126
    #
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1127
    if (/^\@printindex\s+(\w\w)\b/) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1128
	local($index, *ary, @keys, $key, $letter, $last_letter, @refs);
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1129
	if ($predefined_index{$1}) {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1130
	    $index = $predefined_index{$1} . 'index';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1131
	} else {
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1132
	    $index = $1 . 'index';
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1133
	}
95421649b836 7017805 texinfo should move to userland (add texi2html)
Norm Jacobs <Norm.Jacobs@Oracle.COM>
parents:
diff changeset
  1134
	eval("*ary = *$index");
95421649b836 7017805 texinfo should move to us