diff options
author | Glenn Morris <rgm@gnu.org> | 2010-10-08 18:02:21 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2010-10-08 18:02:21 -0700 |
commit | ea274122d5d221b4d74435c22a48083550ad43c5 (patch) | |
tree | 3f011faaadf743d066b0592de4d9a47899d8c66a /lib-src/makefile.w32-in | |
parent | a1ab97d068f2b8630b0e036510dd8e4b00faf8e4 (diff) | |
download | emacs-ea274122d5d221b4d74435c22a48083550ad43c5.tar.gz |
Mark some doc/ rules as PHONY.
* doc/misc/Makefile.in (.PHONY): Declare info, dvi, pdf and the clean rules.
* doc/lispref/Makefile.in (.PHONY): Declare info, dvi, pdf, dist.
* doc/lispintro/Makefile.in (.PHONY): Declare info, dvi, html, pdf, dist.
* doc/emacs/Makefile.in (.PHONY): Declare info, dvi, pdf, dist.
(emacs): Remove rule.
(dist): No need to deal with the emacs rule any more.
Diffstat (limited to 'lib-src/makefile.w32-in')
0 files changed, 0 insertions, 0 deletions