From 74f044f576b8209dca6fa9eab6121d2fd037d0f7 Mon Sep 17 00:00:00 2001
From: Daniel Jacobowitz <dan@debian.org>
Date: Tue, 27 Mar 2007 18:09:36 +0000
Subject: Add "make pdf" and "make install-pdf", from Brooks Moses
 <brooks.moses@codesourcery.com>.

---
 readline/ChangeLog.gdb | 4 ++++
 readline/Makefile.in   | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

(limited to 'readline')

diff --git a/readline/ChangeLog.gdb b/readline/ChangeLog.gdb
index 67514730306..e185fdfadc0 100644
--- a/readline/ChangeLog.gdb
+++ b/readline/ChangeLog.gdb
@@ -1,3 +1,7 @@
+2007-03-27  Brooks Moses  <brooks.moses@codesourcery.com>
+
+	* Makefile.in: Add dummy "pdf" target.
+
 2006-11-13  Denis Pilat  <denis.pilat@st.com>
 
 	* terminal.c (_rl_get_screen_size): use wr and wc variable to store
diff --git a/readline/Makefile.in b/readline/Makefile.in
index e14318b54cb..acf706f0e2e 100644
--- a/readline/Makefile.in
+++ b/readline/Makefile.in
@@ -297,7 +297,7 @@ distclean maintainer-clean: clean
 	$(RM) $(CREATED_CONFIGURE)
 	$(RM) $(CREATED_TAGS)
 
-info dvi:
+info dvi pdf:
 	-( cd doc && $(MAKE) $(MFLAGS) $@ )
 
 install-info:
-- 
cgit v1.2.1