OSDN Git Service

(\key): Do not uppercase the argument; key names
authorkarl <karl@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 31 Aug 1996 19:08:16 +0000 (19:08 +0000)
committerkarl <karl@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 31 Aug 1996 19:08:16 +0000 (19:08 +0000)
commit1ee2430282a84d8db714c2fcdfd107e72d774315
tree0f6e40f066e8b61e77ae61940837cf4568b4f2ab
parent2c1c40b187f8bcf29e0f4586709b3a84b82f8b46
(\key): Do not uppercase the argument; key names
can be mixed case, e.g., `Control'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@12685 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/texinfo.tex