1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#
# File: Makefile
# Author: Roman Rolinsky
# Created: 15/11/2004
#
# Makefile : Builds the online manuals
#
DOCDIR=..
LOCALDOCDIR=.
all: $(DOCTARGET).htb
htb: $(DOCTARGET).htb
html: $(DOCTARGET).html
$(DOCTARGET)_sed.tex: $(DOCTARGET).tex
sed -e :a -e '$!N;s/\n\(\\label{\)/\1/;ta' -e 'P;D' $< > $@
$(DOCTARGET)_contents.html: $(DOCTARGET)_sed.tex tex2rtf.ini
tex2rtf $< $(DOCTARGET).html -twice -html
rm -f *.con
rm -f *.ref
rm -f *.con
rm -f *.ref
if [ -x _ ]; then \
find _ \( -name '*.png' -o -name '*.gif' \) -exec ln -sf {} . \; ; \
fi
$(DOCTARGET).htb: $(DOCTARGET)_contents.html
zip $@ $(DOCTARGET)*.html *.hhp *.hhk *.hhc *.gif *.png
# Later will be copied to exe
install: $(DOCTARGET).htb
cp $^ ..
clean:
rm -f $(DOCTARGET).htb $(DOCTARGET)_*.html
|
