(emacsman): New target.

diff --git a/man/Makefile.in b/man/Makefile.in
index 6b5bd1cd1890e192749371be9f70b6d72a06d47f..bcd414573fd041ff02be3a84a0d4a4ff6eede309 100644 (file)
--- 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