summaryrefslogtreecommitdiff
path: root/doc/Makefile
blob: a9d6a96c6b8908a4dfaaaec5d3648fc7b694a0df (plain) (blame)
1
2
3
4
5
6
7
8
9
10
# Don't delete if make is interrupted
.PRECIOUS: %.info %.html

all: rt-liber.info

%.info: %.texinfo
	makeinfo --no-split $<

%.html: %.texinfo
	makeinfo --html --no-split $<