# Makefile for generation of manual documentation files

# Setup for TeX Live 8
TL8 = /media/texlive8
TL8.PATH = .:$(TL8)/bin/i386-linux:$(PATH)
TL8.VARTEXMF = /var/lib/texmf.texlive8

# Validator program for XML files
CHECK = xmllint --valid --noout

GIF_FILES = $(addsuffix .gif, cmmi10-22 cmsy10-21 ecrm1000-93 ecrm1000-94)
HTML_FILES = $(addprefix manual, .html 2.html 3.html .css) $(GIF_FILES)

ALL_FILES = manual.pdf $(HTML_FILES)

CLEAN_FILES = *.aux *.dvi *.toc *.log *.out *.tpt *~ \
              *.4ct *.4tc *.idv *.lg *.tmp *.xref *.fls \
              gs htlatex
ALLCLEAN_FILES = $(ALL_FILES)

all: $(ALL_FILES)

# manual.dvi: manual.tex
#	latex '\nonstopmode\input manual'

manual.pdf: manual.tex
	pdfelatex '\nonstopmode\input{manual}'
	pdfelatex '\nonstopmode\input{manual}'
	thumbpdf manual
	pdfelatex '\nonstopmode\input{manual}'

$(HTML_FILES): manual.tex
# htlatex uses convert that has problems with other gs versions
	ln -fs `which gs705` gs
# TL8 of 2003/07/27 misses htlatex in bin/i386-linux
	ln -fs $(TL8)/bin/i386-solaris2.8/htlatex htlatex
# TL8 setup
	PATH=$(TL8.PATH) VARTEXMF=$(TL8.VARTEXMF) htlatex manual
	for file in $(GIF_FILES); do \
          if [[ -f $$file ]]; then touch $$file; fi \
        done

check: files.xml
	$(CHECK) $<

clean:
	-$(RM) $(CLEAN_FILES)
allclean: clean
	-$(RM) $(ALLCLEAN_FILES)

.PHONY: all check clean allclean