122 |
emacs.dvi: ${EMACSSOURCES} |
emacs.dvi: ${EMACSSOURCES} |
123 |
$(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi |
$(ENVADD) $(TEXI2DVI) ${srcdir}/emacs.texi |
124 |
|
|
125 |
|
# This target is here so you could easily get the list of the *.texi |
126 |
|
# files which belong to the Emacs manual (as opposed to the separate |
127 |
|
# manuals for CL, CC Mode, Ebrowse, etc.). With this target, you can |
128 |
|
# say things like "grep foo `make emacsman`". |
129 |
|
emacsman: |
130 |
|
@echo $(EMACSSOURCES) |
131 |
|
|
132 |
../info/ccmode: cc-mode.texi |
../info/ccmode: cc-mode.texi |
133 |
cd $(srcdir); $(MAKEINFO) cc-mode.texi |
cd $(srcdir); $(MAKEINFO) cc-mode.texi |
134 |
cc-mode.dvi: cc-mode.texi |
cc-mode.dvi: cc-mode.texi |