1 .PHONY
: all info-only doc
clean realclean distclean fullclean
install
2 .PRECIOUS
: %.
info %.html
4 include ..
/Makefile.defs
12 makeinfo --html
--no-split
$<
14 info-only
: $(MANUAL
).
info
16 doc
: $(MANUAL
).
info $(MANUAL
).html
20 distclean realclean fullclean
: clean
21 -rm -f
$(MANUAL
).
info $(MANUAL
).html
23 install: $(MANUAL
).
info
24 [ -d
$(INFODIR
) ] ||
install -d
$(INFODIR
)
25 install -m
0644 $(MANUAL
).
info $(INFODIR
)/$(MANUAL
)
26 $(INSTALLINFO
) $(INFODIR
)/$(MANUAL
)