diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-09-30 13:22:14 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-30 13:22:14 +0200 |
commit | 31693d108833d6d437e786fe95f4fe9ded60e742 (patch) | |
tree | 82f284e70e230b24f2541375166b1635c0801cbd /doc/gnutls-guile.texi | |
parent | e9941dbf3404e2492b80948f6baf123f93e543c5 (diff) | |
download | gnutls-31693d108833d6d437e786fe95f4fe9ded60e742.tar.gz |
guile: doc: Remove erroneous @ifnottex.
Diffstat (limited to 'doc/gnutls-guile.texi')
-rw-r--r-- | doc/gnutls-guile.texi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/gnutls-guile.texi b/doc/gnutls-guile.texi index 8487faf546..f553263204 100644 --- a/doc/gnutls-guile.texi +++ b/doc/gnutls-guile.texi @@ -51,12 +51,10 @@ Documentation License''. @contents -@ifnottex @node Top @top GnuTLS-Guile @insertcopying -@end ifnottex @menu * Preface:: Preface. |