diff options
author | Dave Love <fx@gnu.org> | 2000-12-05 17:02:50 +0000 |
---|---|---|
committer | Dave Love <fx@gnu.org> | 2000-12-05 17:02:50 +0000 |
commit | 5c62b2e97a406a7d05a3bfddd49b091791efaec0 (patch) | |
tree | cafbe7ed52d85c0de009545948a2f4f35a6793ba /Makefile.in | |
parent | 8a4f36cc75c9a66508f06a5cff393c2d993f9e25 (diff) | |
download | emacs-5c62b2e97a406a7d05a3bfddd49b091791efaec0.tar.gz |
(TAGS, info): Avoid tab-prefixed comments in rules.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Makefile.in b/Makefile.in index 17a00af4f75..d65e40fec5c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -603,9 +603,10 @@ relock: (cd lwlib; chmod u+w *.[ch] Makefile README) (cd src; $(MAKE) $(MFLAGS) relock) -TAGS tags: lib-src src - # The src subdir knows how to do the right thing - # even when the build directory and source dir are different. +# The src subdir knows how to do the right thing +# even when the build directory and source dir are different. +TAGS tags: + lib-src src cd src; $(MAKE) tags check: @@ -616,10 +617,10 @@ dist: .PHONY: info dvi dist check html force-info: +# Note that man/Makefile knows how to +# put the info files in $(srcdir), +# so we can do ok running make in the build dir. info: force-info - # Note that man/Makefile knows how to - # put the info files in $(srcdir), - # so we can do ok running make in the build dir. (cd man; $(MAKE) $(MFLAGS) info) dvi: (cd man; $(MAKE) $(MFLAGS) dvi) |