# (find-fline "~/ZHTML/escripts/tex.e" " ega2mf")
# (find-node "(make)Errors" "ignore errors")
# (find-node "(make)Name Index")
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
# ICONDIR = /home/root/ICON
# DEDNAT = dednat
# DEVICE = djet500
GSDJ = gs -sDEVICE=djet500 -r300 -dNOPAUSE -dBATCH
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
.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)
%.u1 : %.icn
icont -c $*.icn
dednat : dednat.icn zinc.icn zlib.u1
icont dednat.icn
%.dnt : %.dn
# $(ICONDIR)/dednat -inner < $< > $@
dednat -inner < $< > $@
%.auto.dn : %.tex
-grep -s '^%:' $< > $@
%.pict : %.pic
pic -t $< > $@
# (find-node "(make)Automatic")
%.dvi : %.tex
TEXEDIT="less +%d %s" latex $<
rm $*.log $*.aux
%.ps : %.dvi
dvips -D 300 -o $*.ps $*.dvi
%.ps720 : %.dvi
dvips -D 720 -o $*.ps $*.dvi
# kpathsea: Running mktexpk --mfmode / --bdpi 720 --mag 1+0/720 --dpi 720 cmr10
# mktexpk: Mismatched mode ljfour and resolution 720; ignoring mode.
# mktexpk: Can't guess mode for 720 dpi devices.
# mktexpk: Use a config file, or update me.
# kpathsea: Appending font creation commands to missfont.log.
# dvips: Font cmr10 at 720 not found; scaling 600 instead.
# dvips: Such scaling will generate extremely poor output.
%.p01 : %.ps
$(GSDJ) -sOutputFile=$*.p%02d $*.ps
%.p001 : %.ps
$(GSDJ) -sOutputFile=$*.p%03d $*.ps
%.pdf : %.ps
gs -sDEVICE=pdfwrite -r300 -sOutputFile=$*.pdf -dNOPAUSE -dBATCH $*.ps
%.zip : %.p01
zip $@ $*.p??
rm -v $*.ps $*.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 dednat
-grep -s '^%:' tmp.tex > tmp.dn
tmp.dvi : tmp.tex tese2.sty tmp.dnt
#tmp.dvi : tmp.tex tese2.sty
#tmp.dvi : tmp.tex tese2.sty tmp.dnt tmp.pict
#tmp.dvi : tmp.tex tese2.sty fluidos.dnt
#tmp.dvi : tmp.tex tese2.sty proofth.dnt
#tmp.dvi : tmp.tex tese2.sty 9909.dnt
#tmp.dvi : tmp.tex mar99a.dnt mar99b.dnt may99.dnt
#tmp.dvi : tmp.tex dednat.dnt 99feb11.dnt nov98.dnt dec98.dnt
###
### edrxnotes
###
# (find-es "tex" "edrxnotes")
# (find-node "(make)Chained Rules" ".INTERMEDIATE")
.INTERMEDIATE: 00jan05.auto.dnt 00jan09.auto.dnt 99dec10.auto.dnt 99dec26.auto.dnt 99nov03.auto.dnt 99oct07.auto.dnt 99oct31.auto.dnt 99sep08.auto.dnt 99sep09.auto.dnt 99sep25.auto.dnt 99sep30.auto.dnt
00jan03.dvi: 00jan03.tex
00jan05.dvi: 00jan05.tex 00jan05.auto.dnt
00jan09.dvi: 00jan09.tex 00jan09.auto.dnt
00jan19.dvi: 00jan19.tex
00jan25.dvi: 00jan25.tex
99apr19.dvi: 99apr19.tex
99apr24.dvi: 99apr24.tex
99aug13.dvi: 99aug13.tex
99dec10.dvi: 99dec10.tex 99dec10.auto.dnt
99dec26.dvi: 99dec26.tex 99dec26.auto.dnt
99jul05.dvi: 99jul05.tex
99jul07.dvi: 99jul07.tex
99jul13.dvi: 99jul13.tex
99jul18a.dvi: 99jul18a.tex
99jul18b.dvi: 99jul18b.tex
99jul18c.dvi: 99jul18c.tex
99jun01.dvi: 99jun01.tex
99jun04.dvi: 99jun04.tex
99jun27.dvi: 99jun27.tex
99jun29.dvi: 99jun29.tex
99may28.dvi: 99may28.tex
99nov03.dvi: 99nov03.tex 99nov03.auto.dnt
99nov06.dvi: 99nov06.tex
99nov17.dvi: 99nov17.tex
99nov19.dvi: 99nov19.tex
99nov22.dvi: 99nov22.tex
99nov24.dvi: 99nov24.tex
99nov29a.dvi: 99nov29a.tex
99nov29b.dvi: 99nov29b.tex
99oct04.dvi: 99oct04.tex
99oct07.dvi: 99oct07.tex 99oct07.auto.dnt
99oct08.dvi: 99oct08.tex
99oct31.dvi: 99oct31.tex 99oct31.auto.dnt
99sep07.dvi: 99sep07.tex
99sep07a.dvi: 99sep07a.tex
99sep08.dvi: 99sep08.tex 99sep08.auto.dnt
99sep09.dvi: 99sep09.tex 99sep09.auto.dnt
99sep15.dvi: 99sep15.tex
99sep21.dvi: 99sep21.tex
99sep22.dvi: 99sep22.tex
99sep23.dvi: 99sep23.tex
99sep25.dvi: 99sep25.tex 99sep25.auto.dnt
99sep30.dvi: 99sep30.tex 99sep30.auto.dnt
edrxnotes: 00jan03.dvi 00jan05.dvi 00jan09.dvi 00jan19.dvi 00jan25.dvi 99apr19.dvi 99apr24.dvi 99aug13.dvi 99dec10.dvi 99dec26.dvi 99jul05.dvi 99jul07.dvi 99jul13.dvi 99jul18a.dvi 99jul18b.dvi 99jul18c.dvi 99jun01.dvi 99jun04.dvi 99jun27.dvi 99jun29.dvi 99may28.dvi 99nov03.dvi 99nov06.dvi 99nov17.dvi 99nov19.dvi 99nov22.dvi 99nov24.dvi 99nov29a.dvi 99nov29b.dvi 99oct04.dvi 99oct07.dvi 99oct08.dvi 99oct31.dvi 99sep07.dvi 99sep07a.dvi 99sep08.dvi 99sep09.dvi 99sep15.dvi 99sep21.dvi 99sep22.dvi 99sep23.dvi 99sep25.dvi 99sep30.dvi