| 1234567891011121314151617181920212223242526272829 |
- # $Id$
- # Public domain.
- # This little Makefile is written by hand. Left in just in case it ends
- # up being convenient to use for development instead of the automade version.
- SOURCE = ti.twjr
- TEXI = ti.texi
- AWK = texindex.awk
- all: $(AWK) html ti.pdf
- $(TEXI): $(SOURCE)
- rm -f $@; $(GAWK) ./jrweave $(SOURCE) >$(TEXI) || rm -f $@; chmod a-w $@
- $(AWK): $(SOURCE)
- rm -f $@; ./jrtangle $(SOURCE) || rm -f $@
- ti.pdf: $(TEXI)
- texi2dvi --pdf --build-dir=ti.t2p -o ti.pdf $(TEXI)
- html: texindex.html
- texindex.html: $(TEXI)
- makeinfo --no-split --html $(TEXI)
- check: $(AWK)
- texindex $(ttests)/idxmarkup.cp
- cat $(ttests)/idxmarkup.cps
|
