diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2001-11-16 13:04:22 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2001-11-16 13:04:22 +0000 |
| commit | 0a8ad7c48227161c640ccbe3fa1071d313958713 (patch) | |
| tree | c225ee6bae31fbcd685b0eb8d645eadd4934cd76 /man/Makefile.in | |
| parent | 377df9e21dcbc56569b5035ed301118458965d79 (diff) | |
| download | emacs-0a8ad7c48227161c640ccbe3fa1071d313958713.tar.gz | |
(emacsman): New target.
Diffstat (limited to 'man/Makefile.in')
| -rw-r--r-- | man/Makefile.in | 7 |
1 files changed, 7 insertions, 0 deletions
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 |