File man2html-no-timestamp.patch of Package bash

Index: support/man2html.c
===================================================================
--- support/man2html.c.orig	2005-10-12 20:50:06.000000000 +0200
+++ support/man2html.c	2010-09-03 22:49:56.288632000 +0200
@@ -4061,7 +4061,7 @@ main(int argc, char **argv)
 		if (subs)
 			fputs("</DL>\n", stdout);
 		fputs("</DL>\n", stdout);
-		print_sig();
+		/* print_sig(); */
 		fputs("</BODY>\n</HTML>\n", stdout);
 	} else
 		fprintf(stderr, "man2html: no output produced\n");