1da177e4c3
Initial git repository build. I'm not bothering with the full history, even though we have it. We can create a separate "historical" git archive of that later if we want to, and in the meantime it's about 3.2GB when imported into git - space that would just make the early git days unnecessarily complicated, when we don't have a lot of good infrastructure for it. Let it rip!
22 lines
441 B
Makefile
22 lines
441 B
Makefile
LATEXFILE = cdrom-standard
|
|
|
|
all:
|
|
make clean
|
|
latex $(LATEXFILE)
|
|
latex $(LATEXFILE)
|
|
@if [ -x `which gv` ]; then \
|
|
`dvips -q -t letter -o $(LATEXFILE).ps $(LATEXFILE).dvi` ;\
|
|
`gv -antialias -media letter -nocenter $(LATEXFILE).ps` ;\
|
|
else \
|
|
`xdvi $(LATEXFILE).dvi &` ;\
|
|
fi
|
|
make sortofclean
|
|
|
|
clean:
|
|
rm -f $(LATEXFILE).ps $(LATEXFILE).dvi $(LATEXFILE).aux $(LATEXFILE).log
|
|
|
|
sortofclean:
|
|
rm -f $(LATEXFILE).aux $(LATEXFILE).log
|
|
|
|
|