changeset 41123:3ad61cca987f

(emacsman): New target.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 16 Nov 2001 13:04:22 +0000
parents 2483cab4d6d8
children 84e84f672c1f
files man/Makefile.in
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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