annotate doc/manual/manual_tex4ht.cfg @ 69:43675cb378ce

- work on html doc generation
author cslag
date Sun, 06 Mar 2016 16:28:01 +0100
parents 3e629dc19168
children 33c333ec5ad2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
1 % Set html output type and how the pages will be organized; index=a,b,c means a
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
2 % column index, b depth partitioning per page, and if c is present and 'next',
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
3 % that next-links recurses.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
4 % Use b=1 for outputting one big html page. b=2 would partition by sections, b=3
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
5 % by sections and subsections, and so on...
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
6 \Preamble{html,info,index=2,1,next,pic-tabular,charset="utf-8",p-width,pic-align}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
7 % For manual partitioning we use b=1 above, then \CutAt
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
8 %\CutAt{subsubsection,subsection,likesubsection,section,likesection,part}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
9 \CutAt{section}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
10
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
11 %% Don't want TOC to be on own page.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
12 %\ConfigureToc{likesubsubsection}{}{~}{}{ }
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
13
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
14 % Here goes stuff that should be *before* <head>...</head>
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
15 % Use it for configurations, no actual output.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
16
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
17 \Configure{VERSION}{}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
18 \Configure{DOCTYPE}{\HCode{<!DOCTYPE html>\Hnewline}}
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
19 \Configure{HTML}{\HCode{<html>\Hnewline}}{\HCode{\Hnewline</html>}}
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
20 \Configure{BODY}{\HCode{<body><div class="mainDiv">\Hnewline}}{\HCode{\Hnewline</div></body>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
21
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
22 % Clear default header, define our custom one. Using @HEAD will make this be used on all pages generated.
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
23 \Configure{@HEAD}{}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
24 \Configure{@HEAD}{\HCode{<meta http-equiv="content-type" content="text/html; charset=utf-8"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
25 \Configure{@HEAD}{\HCode{<meta name="resource-type" content="document"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
26 \Configure{@HEAD}{\HCode{<meta name="keywords" content="C, function, dynamic, call, calling, convention, VM, abstraction, closure"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
27 \Configure{@HEAD}{\HCode{<meta name="distribution" content="global"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
28 \Configure{@HEAD}{\HCode{<link rel="stylesheet" id="dyn-fonts-css" href="https://fonts.googleapis.com/css?family=Open+Sans:400,700&amp;subset=latin,latin-ext" type="text/css" media="all"/>\Hnewline}}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
29 % should this really rely on online content (dyncall's .css) even for an offline build? @@@
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
30 \Configure{@HEAD}{\HCode{<link rel="stylesheet" href="http://dyncall.org/data/main.css" type="text/css" media="all"/>\Hnewline}}
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
31
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
32 %\ConfigureEnv{titlepage}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
33 %{\ifvmode \IgnorePar\fi
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
34 % \EndP
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
35 % \HCode{<h1>}\IgnorePar }
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
36 %{\ifvmode \IgnorePar\fi
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
37 % \EndP \HCode{</h1>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
38 %{}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
39 %{}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
40 %\ConfigureList{enumerate}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
41 %{\HCode{<div>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
42 %{\HCode{</div>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
43 %{\HCode{<span class="mark">}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
44 %{\HCode{</span>} }
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
45
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
46 % Configure element translations.
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
47
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
48 % Sections (to include number, use \thesection)
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
49 \Configure{section} {} {} {\HCode{<h1>}} {\HCode{</h1>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
50 \Configure{subsection} {} {} {\HCode{<h2>}} {\HCode{</h2>}}
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
51 \Configure{subsubsection} {} {} {\HCode{<h3>}} {\HCode{</h3>}}
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
52
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53 %\DeclareMathSizes{12}{11}{7}{6}
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
54 %\DeclareMathSizes{10}{9}{5}{4}
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55 %\DeclareMathSizes{11}{10}{6}{5}
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56
69
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
57
43675cb378ce - work on html doc generation
cslag
parents: 0
diff changeset
58 \begin{document} % After this comes stuff that should be *in* <head>...</head>, however only for main generated page.
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 \EndPreamble