From 0a8ad7c48227161c640ccbe3fa1071d313958713 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 16 Nov 2001 13:04:22 +0000
Subject: [PATCH] (emacsman): New target.

---
 man/Makefile.in | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/man/Makefile.in b/man/Makefile.in
index 6b5bd1cd189..bcd414573fd 100644
--- a/man/Makefile.in
+++ b/man/Makefile.in
@@ -122,6 +122,13 @@ info.dvi: ${INFOSOURCES}
 emacs.dvi: ${EMACSSOURCES}
 	$(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi
 
+# This target is here so you could easily get the list of the *.texi
+# files which belong to the Emacs manual (as opposed to the separate
+# manuals for CL, CC Mode, Ebrowse, etc.).  With this target, you can
+# say things like "grep foo `make emacsman`".
+emacsman:
+	@echo $(EMACSSOURCES)
+
 ../info/ccmode: cc-mode.texi
 	cd $(srcdir); $(MAKEINFO) cc-mode.texi
 cc-mode.dvi: cc-mode.texi
-- 
2.39.5