blob: 1f00582937a07564a63d3f07a68c446abaa9c44a (
plain)
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
|
# Makefile for documentation
doc.dvi: doc.tex
tex doc.tex
clean:
rm -f *.dvi *.log texput.*
install:
depend:
for i in doc; do \
egrep "\\input" $$i.tex | egrep -v "[ ]*%" | \
sed -e "s/\\\\input/$$i.tex:/" -e "s/%.*//" -e "s/$$/.dvi/"; \
done | awk '{ if ($$1 != prev) { if (rec != "") print rec; \
rec = $$0; prev = $$1; } \
else { if (length(rec $$2) > 78) { print rec; rec = $$0; } \
else rec = rec " " $$2 } } \
END { print rec }' >makedep
echo '/^# DO NOT DELETE THIS LINE/+2,$$d' >eddep
echo '$$r makedep' >>eddep
echo 'w' >>eddep
cp Makefile Makefile.bak
ed - Makefile <eddep
rm eddep makedep
echo '# DEPENDENCIES MUST END AT END OF FILE' >>Makefile
echo '# IF YOU PUT STUFF HERE IT WILL GO AWAY' >>Makefile
echo '# see make depend above' >>Makefile
# DO NOT DELETE THIS LINE -- make depend uses it
doc.tex: intro.dvi dvitodev.dvi dvitodvi.dvi install.dvi updates.dvi
doc.tex: library.dvi exdriver.dvi
# DEPENDENCIES MUST END AT END OF FILE
# IF YOU PUT STUFF HERE IT WILL GO AWAY
# see make depend above
|
