5de9af6
9902111 ^
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 $<