4 MANUAL_SYSINFO = yacasl2.info
17 INSTALL-INFO ?= ginstall-info
22 infodir ?= $(prefix)/share/info
24 .PHONY: all info html htmls pdf install-info uninstall-info clean clean-textmp
28 base: ../INSTALL $(MANUAL_SYSINFO) $(MANUAL).html
30 all: info html htmls pdf ../INSTALL $(MANUAL_SYSINFO)
32 info: $(MANUAL_SYSINFO) $(INSTALLDOC).info
34 html: $(MANUAL).html $(INSTALLDOC).html
38 pdf: $(INSTALLDOC).pdf $(MANUAL).pdf
40 $(MANUAL_SYSINFO): $(MANUAL).info
42 $(SED) -i -e "s/@setfilename manual/@setfilename $(MANUAL_SYSINFO)/" $@
45 $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
50 $(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
56 TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
60 $(MAKEINFO) --no-headers --disable-encoding -o $@ $<
62 install-info: $(MANUAL_SYSINFO)
63 $(INSTALL) -d $(infodir)
64 $(INSTALL) $(MANUAL_SYSINFO) $(infodir)/
65 $(INSTALL-INFO) $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
66 $(GZIP) -f $(infodir)/$(MANUAL_SYSINFO)
68 uninstall-info: $(MANUAL).info
69 $(INSTALL-INFO) --delete $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
70 $(RMF) $(infodir)/$(MANUAL_SYSINFO)*
72 $(INSTALLDOC).html: $(INSTALLDOC).texi $(CSS)
73 $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
75 ../INSTALL: $(INSTALLDOC).txt
79 @$(RMRF) *_html *.info *.html *.pdf *.dvi *.txt
82 @$(RMF) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr