]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4dfe383) | patch
* texinfo.tex (@env, @command, @option): Must disable for index
authorKarl Berry <karl@gnu.org>
Tue, 27 Oct 1998 16:59:40 +0000 (16:59 +0000)
committerKarl Berry <karl@gnu.org>
Tue, 27 Oct 1998 16:59:40 +0000 (16:59 +0000)
commit0be25c6986a7d2f370bed76dbeebf8b0e897439e
treef11d4c81e95aec8e875eec1e24b6946684eaeb84tree
parent4dfe38353e4d206cfb31ab4f6cb85804afce3ad9commit | diff
* texinfo.tex (@env, @command, @option): Must disable for index
  and xref commands.  Also, \input plain if necessary before
  using {} in the version number.
texinfo.tex diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git