diff options
Diffstat (limited to 'gnu/lib/libreadline/doc/Makefile')
| -rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile new file mode 100644 index 0000000000000..c79ad92b3fe4e --- /dev/null +++ b/gnu/lib/libreadline/doc/Makefile @@ -0,0 +1,34 @@ +# This makefile for History library documentation is in -*- text -*- mode. +# Emacs likes it that way. + +DOC_SUPPORT = ../../doc-support/ +TEXINDEX = $(DOC_SUPPORT)/texindex + +TEX = tex +DVIOBJ = history.dvi +INFOBJ = history.info + +all: $(DVIOBJ) $(INFOBJ) + +history.dvi: hist.texinfo hsuser.texinfo hstech.texinfo + $(TEX) hist.texinfo + $(TEXINDEX) hist.?? + $(TEX) hist.texinfo + mv hist.dvi history.dvi + +history.info: hist.texinfo hsuser.texinfo hstech.texinfo + makeinfo hist.texinfo + +./texinfo.tex: $(DOC_SUPPORT)texinfo.tex + ln -s $(DOC_SUPPORT)texinfo.tex . + +$(TEXINDEX): + (cd $(DOC_SUPPORT); $(MAKE) $(MFLAGS) CFLAGS='$(CFLAGS)' texindex) + +clean: + rm -f *.aux *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.cps *.pgs \ + *.fns *.kys *.tps *.vrs *.o core texinfo.tex + +squeaky-clean: + rm -f *.aux *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.cps *.pgs \ + *.dvi *.info *.info-* *.fns *.kys *.tps *.vrs *.o core |