* doc/misc/sem-user.texi (Include paths): Fix a Texinfo command.
commitba74a2c0f27cbec77b4cfa01e70a98e0efb6c1e0
authorXue Fuqiao <xfq.free@gmail.com>
Thu, 30 Jan 2014 03:41:34 +0000 (30 11:41 +0800)
committerXue Fuqiao <xfq.free@gmail.com>
Thu, 30 Jan 2014 03:41:34 +0000 (30 11:41 +0800)
tree7c1c481876a76eeddce697102db790137cfdc945
parent0c633f135a0868c7c83fcf3c623b3dfd9e401b00
* doc/misc/sem-user.texi (Include paths): Fix a Texinfo command.
doc/misc/ChangeLog
doc/misc/sem-user.texi