blob: 244fa07dddfbe67f6e38a257bff3fd1bbaf131bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#
# Create HTML using plastex tex 2 html conversion
#
%.chk: %.tex
mkdir -p $(basename $<)
cp -f preamble.ptx preamble.inc
$(PLASTEX) --disable-images --dir=$(basename $<) $(PLASTEXOPTS) $<
touch $(basename $<).chk
user.chk: $(INCLUDES) user.tex messages.inc
prog.chk: $(INCLUDES) prog.tex
onechap.chk: $(INCLUDES) onechap.tex
ref.chk: $(INCLUDES) ref.tex
rtl.chk: $(INCLUDES) rtl.tex
fpdoc.chk: $(INCLUDES) fpdoc.tex
|
