[SCM] GNU gnutls branch, master, updated. gnutls-3_0_12-270-gbe70172

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU gnutls".

http://git.savannah.gnu.org/cgit/gnutls.git/commit/?id=be70172b3d08d5b0fb5a81e632bcaeda9f37688f

The branch, master has been updated
       via  be70172b3d08d5b0fb5a81e632bcaeda9f37688f (commit)
       via  1674654f1a1c410960ab6ccc237ef88ff444ce3b (commit)
      from  cd8072b307d32f040e07908362e18319aa6384b4 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit be70172b3d08d5b0fb5a81e632bcaeda9f37688f
Author: Nikos Mavrogiannopoulos <[email protected]>
Date:   Sat Feb 18 15:10:50 2012 +0100

    corrected latex output

commit 1674654f1a1c410960ab6ccc237ef88ff444ce3b
Author: Nikos Mavrogiannopoulos <[email protected]>
Date:   Sat Feb 18 14:10:19 2012 +0100

    added date

-----------------------------------------------------------------------

Summary of changes:
 NEWS             |    2 +-
 doc/scripts/gdoc |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index 0527110..9c1a9fe 100644
--- a/NEWS
+++ b/NEWS
@@ -2,7 +2,7 @@ GnuTLS NEWS -- History of user-visible changes.                -*- outline -*-
 Copyright (C) 2000-2012 Free Software Foundation, Inc.
 See the end for copying conditions.
 
-* Version 3.0.13 (unreleased)
+* Version 3.0.13 (released 2012-02-18)
 
 ** gnutls-cli: added the --ocsp option which will verify
 the peer's certificate with OCSP.
diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc
index 9863bae..ac5dea4 100755
--- a/doc/scripts/gdoc
+++ b/doc/scripts/gdoc
@@ -509,7 +509,7 @@ sub output_tex {
 	$out =~ s/\#([a-zA-Z\_]+)/{\\it $1}/g;
 	$out =~ s/\%([a-zA-Z\_]+)/{\\bf $1}/g;
 	$out =~ s/\@([a-zA-Z\_]+)/{\\bf $1}/g;
-	$out =~ s/_/\\_/g;
+	$out =~ s/_/\\_\\-/g;
         $out =~ s/\$/\\\$/g;
 	$out =~ s/#/\\#/g;
 	$out =~ s/\n\n/\n/g;


hooks/post-receive
-- 
GNU gnutls