Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
# (find-fline "~/ZHTML/escripts/tex.e" " ega2mf")
# (find-node "(make)Errors" "ignore errors")
# (find-node "(make)Name Index")

# «.dednat.lua»		(to "dednat.lua")
# «.DPI»		(to "DPI")
# «.DeskJet-640C»	(to "DeskJet-640C")
# «.dednat»		(to "dednat")
# «.dn_to_dnt»		(to "dn_to_dnt")
# «.tmp.pped»		(to "tmp.pped")
# «.making_tgzs»	(to "making_tgzs")
# «..p01»		(to ".p01")
# «..pdj»		(to ".pdj")
# «.making_pngs»	(to "making_pngs")
# «.edrxnotes»		(to "edrxnotes")


SRCDIR = /usr/lib/texmf/texmf/fonts/source/vga
PK300DIR  = /var/lib/texmf/fonts/pk/cx/unknown/unknown
PK600DIR  = /var/lib/texmf/fonts/pk/ljfour/unknown/unknown
PK600  = $(PKDIR)/vga850.600pk
# DEVICE = djet500

LATEX = TEXEDIT="less +%d %s" latex

# ICONDIR = /home/root/ICON
# DEDNAT = dednat

# «dednat.lua»  (to ".dednat.lua")
# (to "dn_to_dnt")
# (find-angg "LUA/dednat.lua")
#DEDNATLUA	  = lua -f $(HOME)/LUA/dednat.lua
#DEDNATLUA	  = lua $(HOME)/dednat/inc.lua -f $(HOME)/dednat/dednat.lua
DEDNATLUA	  = dllua $(HOME)/dednat/inc.lua -f $(HOME)/dednat/dednat2.lua
DEDNATLUA_TATSUTA = $(DEDNATLUA) 'tatsuta(arg[2],arg[3],arg[4])'
DEDNATLUA_BUSS	  = $(DEDNATLUA) 'buss(arg[2],arg[3],arg[4])'
DEDNAT3		  = $(HOME)/dednat/dednat3.lua

# DEDNATLUA_TATSUTA = $(DEDNATLUA) 'print(tatsuta_process(arg[2]))'
# DEDNATLUA_BUSS    = $(DEDNATLUA) 'print(buss_process(arg[2]))'

# «DPI»  (TO ".DPI")
#DPI ?= 300

#####
#
# «DeskJet-640C»  (to ".DeskJet-640C")
# (to ".pdj")
#
#####

# (find-es "hardware" "HP640C")
DPI = 600
GSDJ640BW = $(HOME)/bin/gs-640c-bw -dNOPAUSE -dBATCH

GSDJ = gs -sDEVICE=djet500 -r300 -dNOPAUSE -dBATCH
#
# And for the HP DeskJet 610C:
GSCDJ = gs -sDEVICE=cdj550 -r300 -dNOPAUSE -dBATCH

ifeq ($(KEEPAUX),)
RMAUX ?= rm -fv
else
RMAUX = \#rm
endif

TEXS = 98may24.tex categs.tex dednat.tex deriv.tex filter.tex	\
	image.tex lambda.tex mbenabou.tex noether.tex nsa1.tex nsa2.tex	\
	teoded.tex tese1.tex tese2.tex topoi.tex

STYS = tese.sty vgatim.sty proof.edrx.sty

# all: dvis
all: edrxnotes

.PRECIOUS: %.dvi

vga8tomf: vga8tomf.c
	gcc -o vga8tomf vga8tomf.c

vga850.mf: vga8tomf /home/root/C/math1.8
	vga8tomf /home/root/C/math1.8 vga850.mf
#	vga8tomf /home/replace/ega1.8 vga850.mf

font0:
	-rm -Rv  $(SRCDIR)
	-mkdir -p $(SRCDIR)
	-rm -v $(SRCDIR)/vga850.mf
	-ln -s ~/LATEX/vga850.mf $(SRCDIR)/vga850.mf
	texhash

fonttfm:
	-rm -Rv /usr/lib/texmf/texmf/fonts/tfm/public/vga
	-mkdir  /usr/lib/texmf/texmf/fonts/tfm/public/vga
	-rm -v  /var/lib/texmf/fonts/tfm/unknown/unknown/vga850.tfm
	MakeTeXTFM vga850

clearpks:
	-rm -v $(PK300DIR)/vga850*pk
	-rm -v $(PK600DIR)/vga850*pk

btype:
	mf '\mode:=ljfour; mag:=1; scrollmode; input vga850b'
	gftype -i vga850b.600gf

$(PK600): vga850.mf
	-rm -v $(PK600)
	MakeTeXPK vga850 600 600 1.0

font600: $(PK600)

# «dednat»  (to ".dednat")
%.u1 : %.icn
	icont -c $*.icn
dednat : dednat.icn zinc.icn zlib.u1
	icont dednat.icn

# «dn_to_dnt»  (to ".dn_to_dnt")
# (to "dednat.lua")
#%.dnt : %.dn
#	$(DEDNATLUA_TATSUTA) $< $@
	# $(ICONDIR)/dednat -inner < $< > $@
	# dednat -inner < $< > $@
	# $(HOME)/LUA/dednat.lua $< > $@
	# $(HOME)/LUA/dednat.lua 'print(tatsuta_process(arg[2]))' $< > $@
	# $(HOME)/LUA/dednat.lua 'print(buss_process(arg[2]))' $< > $@

#%.auto.dn : %.tex
#	-grep -s '^%:' $< > $@

%.auto.dnt : %.tex
	$(DEDNAT3) $< > $@
# was:	$(DEDNATLUA_TATSUTA) $< $@

tmp.dnt : tmp.tex
	$(DEDNAT3) $< > $@
# was:	$(DEDNATLUA_TATSUTA) $< $@

# «tmp.pped»  (to ".tmp.pped")
# (find-angg "dednat/dednat2.lua" "preprocess")
tmp.pped.tex : tmp.tex
	$(DEDNATLUA_TATSUTA) $< tmp.dnt $@
%.tex %.auto.dnt : %.meta.tex
	$(DEDNATLUA_TATSUTA) $*.meta.tex $*.auto.dnt $*.tex




#####
#
# «making_tgzs»  (to ".making_tgzs")
#
#####

# (find-es "page" "mathstuff.pack")
# (find-angg ".zshrc" "TeX")
DVIEPSFILES1 = dvitype -output-level=1
DVIEPSFILES2 = | grep PSfile | perl -nle 'print m/"(.*)"/' | sort | uniq
EXTRASRCFILES = edrx.sty bussproofs.sty proof.edrx.sty
PACKDIR = /tmp

%.epsfiles : %.dvi
	$(DVIEPSFILES1) $< $(DVIEPSFILES2) > $@
%.dvi.gz $(PACKDIR)/%.dvi.gz : %.dvi
	gzip -c9 < $< > $@ && touch -r $< $@
%-dvi.tar.gz $(PACKDIR)/%-dvi.tar.gz : %.dvi %.epsfiles
	tar -cvzf $@ $< `cat $*.epsfiles`
%-texsrc.tar.gz $(PACKDIR)/%-texsrc.tar.gz : %.epsfiles %.tex %.auto.dnt
	tar -cvzf $@ $*.tex $*.auto.dnt $(EXTRASRCFILES) `cat $*.epsfiles`
%-mtexsrc.tar.gz $(PACKDIR)/%-mtexsrc.tar.gz : %.epsfiles %.tex %.auto.dnt
	tar -cvzf $@ $*.meta.tex $*.tex $*.auto.dnt $(EXTRASRCFILES) \
		`cat $*.epsfiles`
$(PACKDIR)/%.ps.gz : %.dvi
	dvips -D $(DPI) -o $(PACKDIR)/$*.ps $<
	gzip -f -9 $(PACKDIR)/$*.ps

# %.pack: $(PACKDIR)/%-dvi.tar.gz $(PACKDIR)/%.ps.gz $(PACKDIR)/%-texsrc.tar.gz
#%.pack: $(PACKDIR)/%-dvi.tar.gz
#%.pack: %.tex
#	echo $< $(PACKDIR)/$*-dvi.tar.gz

%.dpack:
	$(MAKE) DPI=600 $(PACKDIR)/$*.dvi.gz $(PACKDIR)/$*.ps.gz \
			$(PACKDIR)/$*-texsrc.tar.gz
%.pack:
	$(MAKE) DPI=600 $(PACKDIR)/$*-dvi.tar.gz $(PACKDIR)/$*.ps.gz \
			$(PACKDIR)/$*-texsrc.tar.gz
%.mpack:
	$(MAKE) DPI=600 $(PACKDIR)/$*-dvi.tar.gz $(PACKDIR)/$*.ps.gz \
			$(PACKDIR)/$*-mtexsrc.tar.gz


# cd ~/LATEX/; make tesemestr-texsrc.tar.gz
# cd ~/LATEX/; make tesemestr-dvi.tar.gz

%.pict : %.pic
	pic -t $< > $@


# (find-node "(make)Automatic Variables")
# (find-node "(make)Conditional Syntax" "non-empty")
ifeq ($(FORCE_AUTO_DNT),)
%.dvi : %.tex
else
%.dvi : %.tex %.auto.dnt
endif
ifeq ($(TWICE),)
	TEXEDIT="less +%d %s" latex $< || \
	(rm -v $@; false)
else
	(TEXEDIT="less +%d %s" latex $<  && \
	 TEXEDIT="less +%d %s" latex $<) || \
	(rm -v $@; false)
endif
	rm $*.log
	$(RMAUX) $*.aux


%.ps : %.dvi
	dvips -D $(DPI) -o $*.ps $*.dvi

%.ps720 : %.dvi
	dvips -D 720 -mode epscszz -o $*.ps $*.dvi



#####
#
# Generate pages for the printer
# «.p01»  (to "..p01")
#
#####

# (find-man "1 gs" "-sOutputFile=foo%d.xyz")
# Use fwdprint/backprint to send the pages to the printer:
# (find-angg ".zshrc" "printing")

%.red.ps : %.dvi
	dvired -D $(DPI) -o $@ $<

%.p01 : %.ps
	$(GSDJ) -sOutputFile=$*.p%02d $*.ps

%.p001 : %.ps
	$(GSDJ) -sOutputFile=$*.p%03d $*.ps

%.cp01 : %.ps
	$(GSCDJ) -sOutputFile=$*.cp%02d $*.ps

# Same, but in /tmp.
# The last one is for my father's printer (HP DJ610C)
/tmp/%.ps : %.dvi
	dvips -D $(DPI) -o $@ $<
/tmp/%.red.ps : %.dvi
	dvired -D $(DPI) -o $@ $<
/tmp/%.p01 : %.ps
	$(GSDJ) -sOutputFile=/tmp/$*.p%02d $*.ps
/tmp/%.p001 : %.ps
	$(GSDJ) -sOutputFile=/tmp/$*.p%03d $*.ps
/tmp/%.cp01 : %.ps
	$(GSCDJ) -sOutputFile=/tmp/$*.cp%02d $*.ps

#####
#
# Same but for when the printer is the horrible DJ640C (Pacheco Leão, Aug2003)
# «.pdj»  (to ".pdj")
#         (to "DeskJet-640C")
#         (find-angg ".emacs" "eepdj")
#####

%.pdj : %.ps
	pstops -q '1:0(0,-1in)' $*.ps | $(GSDJ640BW) -sOutputFile=$*.pdj -
#	$(GSDJ640BW) -sOutputFile=$*.pdj $*.ps
/tmp/%.pdj : %.ps
	pstops -q '1:0(0,-0.5in)' $*.ps /tmp/o.pdjps
	$(GSDJ640BW) -sOutputFile=/tmp/$*.pdj /tmp/o.pdjps
#	pstops -q '1:0(0,-1in)' $*.ps | $(GSDJ640BW) -sOutputFile=/tmp/$*.pdj $*.ps




# «making_pngs»  (to ".making_pngs")
# (find-es "music" "ps_to_png")
# (find-es "tex" "ps-720dpi")
/tmp/%.ps150 : %.dvi
	dvips -D 150 -mode ljlo -o $@ $<
/tmp/%.ps300 : %.dvi
	dvips -D 300 -o $@ $<
/tmp/%.300.05.png : /tmp/%.ps300
	gs -sDEVICE=ppmraw -r300 \
	  -sOutputFile="| pnmcrop | pnmscale 0.5 | pnmtopng > $@" \
	  -dNOPAUSE $< -c quit
/tmp/%.150.png : /tmp/%.ps150
	gs -sDEVICE=ppmraw -r150 \
	  -sOutputFile="| pnmcrop | pnmtopng > $@" \
	  -dNOPAUSE $< -c quit



%.pdf : %.ps
	gs -sDEVICE=pdfwrite -r300 -sOutputFile=$*.pdf -dNOPAUSE -dBATCH $*.ps

%.zip : %.p01
	zip $@ $*.p??
	-rm -v $*.ps
	-rm -v $*.p??

# (find-gs5file "devices.txt" "bjc610")
%.zip720 : %.ps720
	gs @bjc610b1.upp -r720 -sOutputFile=$*.p%02d -dNOPAUSE -dBATCH $*.ps720
	zip $@ $*.p??
	rm -v $*.ps $*.p??

# (find-fline "/usr/bin/mktexpk")
# (find-fline "/usr/bin/mktexpk" "ljfour")
# (find-node "(dvips)Top")
# (find-node "(kpathsea)Top")
# (find-node "(kpathsea)Unable to generate fonts")
# (find-node "(dvips)Config files")
# (find-fline "/usr/lib/texmf/metafont/misc/modes.mf")
# (find-fline "/usr/lib/texmf/metafont/misc/modes.mf" "canonbjc")

DVIS = $(TEXS:%.tex=%.dvi)

# (find-node "(make)Substitution Refs")

%.xdvi : %.dvi
	xdvi -display :0.0 $< &

dvis : $(DVIS)

xdvis : $(DVIS:%.dvi=%.xdvi)

zips : $(DVIS:%.dvi=%.zip)

rmt.tgz :
	tar -cvzf rmt.tgz \
		Makefile $(TEXS) vga850.mf $(STYS)

dec98.dvi : nov98.dnt dec98.dnt
99jan29.dvi : 99jan29.dnt
99feb09.dvi : 99feb09.dnt
99feb11.dvi : 99feb11.dnt
# feb98.dvi : feb98.tex 99feb11.dnt nov98.dnt dec98.dnt

feb98.dvi : feb98.tex mar99a.dnt mar99b.dnt
slides.dvi : slides.tex mar99a.dnt mar99b.dnt slides.dnt

345.dvi : 345.tex dednat.dnt 99feb11.dnt nov98.dnt dec98.dnt
dn.dvi : dn.tex dednat.dnt 99feb11.dnt nov98.dnt dec98.dnt
3rdI.dvi : 3rdI.tex dednat.dnt 99feb11.dnt nov98.dnt dec98.dnt
cap4.dvi : cap4.tex 99feb11.dnt

tat.dvi: tat.tex 99feb11.dnt

itati.dvi: itati.tex mar99a.dnt mar99b.dnt may99.dnt
itati1.dvi: itati1.tex mar99a.dnt mar99b.dnt may99.dnt

jun99.dvi : jun99.tex mar99a.dnt mar99b.dnt slides.dnt may99.dnt

#tmp.dn : tmp.tex
#	-grep -s '^%:' tmp.tex > tmp.dn

tmp.dvi : tmp.tex tese2.sty tmp.dnt




###
### «edrxnotes»  (to ".edrxnotes")
###

# The script that remakes Makefile.auto is here:
# (find-es "tex" "edrxnotes-makefile")

# (find-es "tex" "edrxnotes")
# (find-node "(make)Chained Rules" ".INTERMEDIATE")
# (find-fline "~/TH/Makefile")
# (find-fline "~/LATEX/Makefile.auto")

include $(HOME)/LATEX/Makefile.auto

# (find-angg "eev.el" "find-anchor")

# Local Variables:
# coding:               raw-text-unix
# ee-anchor-format:     "«%s»"
# End: