diff options
author | Glenn Morris <rgm@gnu.org> | 2021-03-04 10:41:00 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2021-03-04 10:41:36 -0800 |
commit | ee6527545d4d81e27cfd8b460881c57e2bc5c40a (patch) | |
tree | fd8b6f446c6ef86d1e99e6fd94b859dc2c8d0a8a /Makefile.in | |
parent | 8e759d60cc234d4beb471dbb46f91d8ca3a20066 (diff) | |
download | emacs-ee6527545d4d81e27cfd8b460881c57e2bc5c40a.tar.gz |
; Makefile.in: Update a comment.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/Makefile.in b/Makefile.in index a69c01b9c5d..71d38f16092 100644 --- a/Makefile.in +++ b/Makefile.in @@ -999,6 +999,10 @@ info-real: $(INFOS) pdf: $(PDFS) ps: $(PSS) +# The dependency is due to those doc/misc/ manuals that use .org sources. +# Depending on src is sufficient, but ends up being slow, since the +# uncompiled lisp/org/*.el files are used to build the .texi files +# (which is slow even with the elc files). misc-info: lisp info-dir: ${srcdir}/info/dir @@ -1092,13 +1096,6 @@ uninstall-ps: $(UNINSTALL_PS) # would require changing every rule in doc/ that builds an info file, # and it's not worth it. This case is only relevant if you download a # release, then change the .texi files. - -# The dependency is due to those doc/misc/ manuals that use .org sources. -# I would have preferred to just add this to the misc-info target, -# but that gave parallel build errors. -# Depending on src is sufficient, but ends up being slow, since the -# uncompiled lisp/org/*.el files are used to build the .texi files -# (which is slow even with the elc files). ifneq ($(HAVE_MAKEINFO),no) info: info-real info-dir else |