Extracted addition to texinfo.tex (for @doubleleftarrow{} command) into
authorJeff Bigler <jcb@mit.edu>
Mon, 9 Sep 1996 18:29:44 +0000 (18:29 +0000)
committerJeff Bigler <jcb@mit.edu>
Mon, 9 Sep 1996 18:29:44 +0000 (18:29 +0000)
commit6d582ffa679dc07600148ec178c4b20c580848c6
tree65839f1fae3892f7bf39a833420f8a45983598f1
parentaa8762ccae7cf0d2590634f48fa16878883d31d4
Extracted addition to texinfo.tex (for @doubleleftarrow{} command) into
supplemental file texinfo-suppl.tex.  This file must be input *before*
texinfo.tex, as is done in admin.texinfo and install.texinfo.

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@9065 dc483132-0cff-0310-8789-dd5450dbe970
doc/admin.texinfo
doc/install.texinfo
doc/texinfo-suppl.tex [new file with mode: 0644]
doc/texinfo.tex