texinfo: fix @url{@@} parsing
authorAndy Wingo <wingo@pobox.com>
Sun, 9 Nov 2014 15:56:33 +0000 (15:56 +0000)
committerAndy Wingo <wingo@pobox.com>
Sun, 9 Nov 2014 15:56:33 +0000 (15:56 +0000)
commit3f826e3c9ed41ae822463b6ab42b93360e0e7b84
treea265bf89c56865e683a4d89c1b3f9d83e647fcdc
parent18c44b29e4438976dac86a3cb53a273dde42e294
texinfo: fix @url{@@} parsing

* module/texinfo.scm (texi-command-specs): The body of @url{} can have
  texinfo commands.

* test-suite/tests/texinfo.test ("test-texinfo->stexinfo"): Add tests.
module/texinfo.scm
test-suite/tests/texinfo.test