* doc/misc/faq.texi: Convert @inforefs to @xrefs.
authorGlenn Morris <rgm@gnu.org>
Sat, 28 Apr 2012 18:43:55 +0000 (11:43 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 28 Apr 2012 18:43:55 +0000 (11:43 -0700)
commit31cc861c833a20669b3bc1a81d42949b9431e479
tree9818fc445fe9e31ea4ba0a70d9d4535882e21f2c
parent52af8e0a1db59f2090d7b26a6bb95420e865095e
* doc/misc/faq.texi: Convert @inforefs to @xrefs.
Fix some malformed cross-references.
doc/misc/ChangeLog
doc/misc/faq.texi