# --- Postscript and HTML ---

# Change in co5bold.tex: \DeclareGraphicsExtensions{.eps}

rm -f co5bold.i* co5bold.lo* co5bold.out co5bold.toc co5bold.aux
latex co5bold
latex co5bold
makeindex co5bold.idx
latex co5bold

dvips -o '' co5bold 

latex2html -long_titles 5 -toc_depth 5 -address '' -white -no_math -html_version 3.2 -local_icons -show_section_numbers -up_url ../co5bold_main.html -up_title home co5bold


# --- PDF ---

# Change in co5bold.tex: \DeclareGraphicsExtensions{.png}

rm -f co5bold.i* co5bold.lo* co5bold.out co5bold.toc co5bold.aux
pdflatex co5bold 
pdflatex co5bold
makeindex co5bold.idx
pdflatex co5bold 

