# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1005915862 0
# Node ID 3ad61cca987fb74990390bc8d374f28a0d0a6c23
# Parent  2483cab4d6d8e7921ec0851b47f00ece8b872c35
(emacsman): New target.

diff -r 2483cab4d6d8 -r 3ad61cca987f man/Makefile.in
--- a/man/Makefile.in	Fri Nov 16 13:04:02 2001 +0000
+++ b/man/Makefile.in	Fri Nov 16 13:04:22 2001 +0000
@@ -122,6 +122,13 @@
 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