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
+