Makefile 1.07 KB
Newer Older
1 2 3 4 5 6 7 8
#
# Makefile for the documentation directory
#
# Copyright 1994,2000,2010,2011   Alessandro Rubini <rubini@linux.it>
#
#################

# There is not basenames here, all *.in are considered input
9
INPUT = fine-delay-design-notes.in
10 11 12 13 14 15 16

TEXI = $(INPUT:.in=.texi)
INFO = $(INPUT:.in=.info)
HTML = $(INPUT:.in=.html)
TXT  = $(INPUT:.in=.txt)
PDF  = $(INPUT:.in=.pdf)

17
ALL    =  $(PDF) $(HTML)
18 19 20 21 22 23 24 25 26 27 28 29 30

MAKEINFO ?= makeinfo

%.texi: %.in
	@rm -f $@
	sed -f ./infofilter $< > $@
	emacs -batch --no-site-file -l fixinfo $@
	chmod -w $@


#%.info: %.texi
#	$(MAKEINFO) $< -o $@

31 32
%.html: %.texi
	$(MAKEINFO) --html --no-split -o $@ $<
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61

%.txt: %.texi
	$(MAKEINFO) --no-headers $< > $@

%.pdf: %.texi
	texi2pdf --batch $<

##############################################
.PHONY: all images check terse clean install
.INTERMEDIATE: $(TEXI)

all: images $(ALL)
	$(MAKE) terse

images::
	if [ -d images ]; then $(MAKE) -C images || exit 1; fi

check: _err.ps
	gs -sDEVICE=linux -r320x200x16 $<

terse:
	for n in cp fn ky pg toc tp vr aux log; do rm -f *.$$n; done
	rm -f *~

clean: terse
	rm -f $(ALL) $(TEXI)

install: