[wwwdocs] move a link to https in java/done.html

Gerald Pfeifer <[email protected]> Sun, 28 Jun 2015 16:42:34 +0200 (CEST)
Newsgroups gmane.comp.gcc.patches,gmane.comp.gcc.java.patches
Message-ID <[email protected]>
Applied.

Gerald

2015-06-27  Gerald Pfeifer  <[email protected]>

	* done.html: www.pdflabs.com now uses https.

Index: done.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/java/done.html,v
retrieving revision 1.53
diff -u -r1.53 done.html
--- done.html	31 Mar 2013 15:06:15 -0000	1.53
+++ done.html	27 Jun 2015 21:50:47 -0000
@@ -229,7 +229,7 @@
 
       <!-- pdftk -->
       <tr valign="top">
-        <td><b><a href="http://www.pdflabs.com/tools/pdftk-the-pdf-toolkit/">pdftk</a></b></td>
+        <td><b><a href="https://www.pdflabs.com/tools/pdftk-the-pdf-toolkit/">pdftk</a></b></td>
 
 	<td><p>If PDF is electronic paper, then pdftk is an electronic
 	  staple-remover, hole-punch, binder, secret-decoder-ring, and