source: issm/trunk-jpl/externalpackages/petsc-dev/src/linux-gnu-amd64/share/doctext/html.def@ 11896

Last change on this file since 11896 was 11896, checked in by habbalf, 13 years ago

petsc-dev : Petsc development code in external packages. Mercurial updates
File size: 1.7 KB
Line 
1#
2# These are the definitions for doc2lt and doctext HTML output
3#
4#
5# Note on the use of <LISTING></LISTING> and other monotype fonts
6# Many browsers choose a different SIZE font for listing; IE4 gives you
7# no control over the size, while at least Netscape lets you set the size
8# correctly (it should be the SAME as the other fonts).
9# You might consider <FONT SIZE=+1>...</FONT> inside the listing.
10# HTML 3.2 specifies <PRE> instead of <LISTING>
11#
12# Doc2lt single line entry
13key %n%p<CODE>%1</CODE>
14synopsis %n<PRE>%1</PRE>
15definition %n<B>%1</B>%n
16section %n<H2>%1</H2>%n
17s_synopsis %n<H2>Synopsis</H2>%n<PRE>%n
18e_synopsis %n</PRE>%n
19em_dash
20eof %n</BODY></HTML>%n
21bof <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML3.2 EN">%n<HTML>%n\
22<HEAD>%n<META NAME="GENERATOR" CONTENT="DOCTEXT">%n
23bop
24eop
25# Arglist form
26s_arg_list %n<DL>%n
27s_arg_inlist %n<DT><B>
28e_arg_inlist </B>
29s_defn_inlist <DD>
30e_defn_inlist %n
31e_arg_list </DL>%n
32# Here's an alternative
33#s_arg_list %n<TABLE>
34#s_arg_inlist %n<TR><TD>
35#e_arg_inlist </TD>
36#s_defn_inlist<TD>
37#e_defn_inlist</TD></TR>
38#e_arg_list </TABLE>%n
39#
40# individual arg form
41s_arg %n<DL><DT><B>
42s_defn <DD>
43e_defn %n</DL>%n
44e_arg </B>
45s_doctext_verbatim <BR>
46e_doctext_verbatim %n
47s_caption <CENTER><B>
48e_caption </B></CENTER>
49picture <A IMG="%1"></A>
50location <P><B>Location:</B>%1<P>
51# Only do the actual title
52# Without a title, the page will be broken.
53mantitle <TITLE>%1</TITLE>%n</HEAD>%n<BODY BGCOLOR="FFFFFF">%n<A NAME="%1"><H1>%1</H1></A>%n
54# mantitlemany is used for files containing multiple manual pages
55mantitlemany %n<A NAME="%1"><H1>%1</H1></A>%n
56# bofmanyend is needed for mantitlemany
57bofmanyend <TITLE>Manual Pages</TITLE>%n</HEAD>%n<BODY BGCOLOR="FFFFFF">%n
58
Note: See TracBrowser for help on using the repository browser.