From LaTeX to (good looking) JavaHelp
Originally, JHelpDev was developed to convert HTML files
generated with latex2html to a JavaHelp set.
General Steps
- do screenshots if necessary, convert them to EPS
- write LaTeX code,
article class
recommended
- avoid using
scale and angle
in graphics environment or remove it before invoking
latex2html
- convert latex sources to HTML with latex2html
- create a JHelpDev project directory and copy the
directory with the HTML files to it, it is recommended to
use a subdirectory within the project directory with a
descriptive name for the helpset to create unique
targets, like
nonparam.node1 instead of just
node1, this can be useful if different
helpsets generated from latex2html should be merged at a
later stage and if context-sensitive help is used, help
IDs must be unique across all helpsets in this case
- create the helpset with JHelpDev, integrate it with
JHelpAction and package it with the JAR archive of your
Java application
Graphics, Screenshots
Graphics must be available as EPS files to use them with
LaTeX. Here is a converter script:
#!/bin/bash
for i in `ls *.gif`;
do
echo converting $i;
giftopnm $i > ${i%.gif}.pnm;
pnmtops ${i%.gif}.pnm > ${i%.gif}.eps;
rm ${i%.gif}.pnm;
done
Commandline options
Here is a reasonable Latex2html invokation:
#!/bin/bash
latex2html -split 4 -link 1 -white -antialias -image_type "gif" -local_icons -transparent -noaddress -noinfo $1
Especially the split option is useful because
it creates a new file for each LaTeX section.
Put content that should appear in a single HTML file into a
section without nesting content too much into subsections.
Otherwise, if a section has many subsections,
subsubsections, etc. this would produce very large HTML
files which are not nice in a JavaHelp viewer.
|