Public Git Hosting - emacs.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1651cf2) | patch

commit	c255615a5defff663a8b0f7a18f4a0438a3f6693
author	Glenn Morris <rgm@gnu.org>
	Mon, 21 Jul 2014 03:31:36 +0000 (20 23:31 -0400)
committer	Glenn Morris <rgm@gnu.org>
	Mon, 21 Jul 2014 03:31:36 +0000 (20 23:31 -0400)
tree	80b5d4e207c6eff0e2e0dacd5f9d1a4c61585906	tree \| snapshot (tar.gz zip)
parent	1651cf2ed5f7aa8935b8bb3dc1a7813479b99044	commit \| diff

* doc/emacs/emacs.texi (Intro): Workaround makeinfo 4 @acronym bug.

Fixes: debbugs:18040

doc/emacs/ChangeLog		diff \| blob \| blame \| history
doc/emacs/emacs.texi		diff \| blob \| blame \| history

Emacs repository mirror