From f5617b40dfa46d494989f8eded516bfb9eeb44ea Mon Sep 17 00:00:00 2001
From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Tue, 16 Jun 2015 22:12:40 +0200
Subject: updated for 3.4.2

---
 manual/html_node/tpmtool-user.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'manual/html_node/tpmtool-user.html')
diff --git a/manual/html_node/tpmtool-user.html b/manual/html_node/tpmtool-user.html
index 930f5e092a..da3ad659b5 100644
--- a/manual/html_node/tpmtool-user.html
+++ b/manual/html_node/tpmtool-user.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
 <!-- This manual is last updated 4 March 2015 for version
-3.4.1 of GnuTLS.
+3.4.2 of GnuTLS.
 
 Copyright (C) 2001-2015 Free Software Foundation, Inc.\\
 Copyright (C) 2001-2015 Nikos Mavrogiannopoulos
@@ -15,10 +15,10 @@ Documentation License". -->
 <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
 <!-- This file redirects to the location of a node or anchor -->
 <head>
-<title>GnuTLS 3.4.1: tpmtool user</title>
+<title>GnuTLS 3.4.2: tpmtool user</title>
 
-<meta name="description" content="GnuTLS 3.4.1: tpmtool user">
-<meta name="keywords" content="GnuTLS 3.4.1: tpmtool user">
+<meta name="description" content="GnuTLS 3.4.2: tpmtool user">
+<meta name="keywords" content="GnuTLS 3.4.2: tpmtool user">
 <meta name="resource-type" content="document">
 <meta name="distribution" content="global">
 <meta name="Generator" content="makeinfo">
-- 
cgit v1.2.1

