projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50b5c15) | patch
* texinfo.tex: Change @defun environments so that right margin is
authorKarl Berry <karl@gnu.org>
Fri, 14 Aug 1998 20:54:46 +0000 (20:54 +0000)
committerKarl Berry <karl@gnu.org>
Fri, 14 Aug 1998 20:54:46 +0000 (20:54 +0000)
commit050f9d9f5d2334be23d774d140cce16d569b8586
tree303150c9b8fd05ed740de505afc2a25558bb2eeftree | snapshot
parent50b5c15b54306b27c3f73158059f7513612deb41commit | diff
* texinfo.tex: Change @defun environments so that right margin is
  not changed, and instead the defun type label is outdented
  into the margin.
texinfo.tex diff | blob | history
Domain: System / Base;