diff options
Diffstat (limited to 'gnu/lib/libreadline/doc/Makefile')
| -rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile new file mode 100644 index 000000000000..786e099c09ff --- /dev/null +++ b/gnu/lib/libreadline/doc/Makefile @@ -0,0 +1,30 @@ +# This makefile for Readline library documentation is in -*- text -*- mode. +# Emacs likes it that way. + +DVIOBJ = readline.dvi history.dvi +INFOBJ = readline.info history.info + +all: $(DVIOBJ) $(INFOBJ) + +readline.dvi: rlman.texinfo rluser.texinfo rltech.texinfo + tex rlman.texinfo + tex rlman.texinfo + mv rlman.dvi readline.dvi + +history.dvi: hist.texinfo hsuser.texinfo hstech.texinfo + tex hist.texinfo + tex hist.texinfo + mv hist.dvi history.dvi + +readline.info: rlman.texinfo rluser.texinfo rltech.texinfo + makeinfo rlman.texinfo + +history.info: hist.texinfo hsuser.texinfo hstech.texinfo + makeinfo hist.texinfo + +clean: + rm -f *.log *.cp *.ky *.tp *.vr *.fn *.aux *.pg *.toc core + +squeaky-clean: + rm -f *.log *.cp *.ky *.tp *.vr *.fn *.aux *.pg *.toc core *.dvi *.~* *.info + |