1 HTML and LaTex documents and generated from the files under
2 src/ directory. Always edit the files under src/ directory,
3 never the files on the server.
4
5 To general HTMLs,
6
7 make html
8
9 To install HTMLs onto roger-rabbit (BMRC's web server)
10
11 make install_html
12
13 Generating LaTeX documents is difficult. I am using a tool
14 called html2latex. However, the results are not pretty.
15 I have to make a few patches to the generated .tex file.
16 To generate .tex, the Makefile does the following:
17 - concat all src HTMLs to one huge HTML.
18 - run html2latex on otto (because it requires certain Perl
19 library that may not be installed on other machines)
20 - run patch DIFF to fix the generated .tex.
21
22 "make manual.ps" will perform all the above for you.
23 make install_ps will install the resulting manual.ps onto
24 roger-rabbit.
25
26 To install both HTMLs and PS,
27
28 make install
29
30 If you edit any of the source files, you might mess up
31 the patch file "DIFF". You might have to edit the DIFF
32 file to fix it.
33
34 If you want to patch the output latex, copy the PATCHED
35 latex to patched.tex, and edit patched.tex, and regenerated
36 the DIFF file using
37
38 make diff
39
40 One more bit of details, you should run latex2html from my
41 directory since I patched the config file for latex2html
42 as well.
43
44 ~weitsang/src/html2latex-1.1/html2latex
45
46 If you know of any other way to simplify generation of
47 latex files, please let me know!
This page was automatically generated by the
LXR engine.
Visit the LXR main site for more
information.
