47 lines
1.3 KiB
Makefile
47 lines
1.3 KiB
Makefile
TEXIS = pintos-ic.texi intro.texi codebase.texi threads.texi userprog.texi vm.texi \
|
|
license.texi reference.texi 44bsd.texi standards.texi \
|
|
doc.texi sample.tmpl.texi devel.texi debug.texi installation.texi \
|
|
bibliography.texi localsettings.texi task0_questions.texi localgitinstructions.texi
|
|
|
|
all: pintos-ic.html pintos-ic.info pintos-ic.dvi pintos-ic.ps pintos-ic.pdf task0_sheet.pdf alarmclock.pdf
|
|
|
|
pintos-ic.html: $(TEXIS) texi2html
|
|
./texi2html -toc_file=$@ -split=chapter -nosec_nav -nomenu -init_file ./pintos-t2h.init $<
|
|
|
|
pintos-ic.info: $(TEXIS)
|
|
makeinfo $<
|
|
|
|
pintos-ic.text: $(TEXIS)
|
|
makeinfo --plaintext -o $@ $<
|
|
|
|
pintos-ic.dvi: $(TEXIS)
|
|
texi2dvi $< -o $@
|
|
|
|
pintos-ic.ps: pintos-ic.dvi
|
|
dvips $< -o $@
|
|
|
|
pintos-ic.pdf: $(TEXIS)
|
|
texi2pdf $< -o $@
|
|
|
|
task0_sheet.pdf : task0_sheet.texi task0_questions.texi
|
|
texi2pdf $< -o $@
|
|
|
|
alarmclock.pdf : alarmclock.tex
|
|
pdflatex -shell-escape alarmclock
|
|
|
|
%.texi: %
|
|
sed < $< > $@ 's/\([{}@]\)/\@\1/g;'
|
|
|
|
clean:
|
|
rm -f *.info* *.html
|
|
rm -f *.aux *.cp *.dvi *.fn *.fns *.ky *.log *.pdf *.ps *.toc *.tp *.tps *.vr *.vrs *~
|
|
rm -rf WWW
|
|
rm -f sample.tmpl.texi
|
|
rm -f alarmclock.pdf
|
|
|
|
dist: pintos-ic.html pintos-ic.pdf
|
|
rm -rf WWW
|
|
mkdir WWW WWW/specs
|
|
cp *.html *.pdf *.css *.tmpl WWW
|
|
(cd ../specs && cp -r *.pdf freevga kbd sysv-abi-update.html ../doc/WWW/specs)
|