[Emacs-diffs] Changes to emacs/man/Makefile.in

[Eli Zaretskii]

Index: emacs/man/Makefile.in
diff -u emacs/man/Makefile.in:1.40 emacs/man/Makefile.in:1.41
--- emacs/man/Makefile.in:1.40  Wed Nov  7 14:10:49 2001
+++ emacs/man/Makefile.in       Fri Nov 16 08:04:22 2001
@@ -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