]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 132e0ed) | patch
(\kbdfont, \kbdexamplefont): New macros, parms that
authorRichard M. Stallman <rms@gnu.org>
Fri, 4 Jul 1997 00:07:28 +0000 (00:07 +0000)
committerRichard M. Stallman <rms@gnu.org>
Fri, 4 Jul 1997 00:07:28 +0000 (00:07 +0000)
commitb38d9d2ae93cc6e8c86ffa376666dc85079c8df1
treef22afe8a5d82196c84727078fe64902d8d378599tree
parent132e0eda6c9f3f6a3e868e790b3cd355f55e9002commit | diff
(\kbdfont, \kbdexamplefont): New macros, parms that
tell @kbd what to do.
(\setkbdinputdistinct, \setkbdinputexample): New commands set them.
(\kbd): Use those parms.
texinfo.tex diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git