#
#
# patch "cmd.cc"
#  from [cfaa5d58e45e55e98079b3d8c4153332eb8abd33]
#    to [71453c6d3903cef5bb3d864aa9d7f8df05d6ca8c]
#
============================================================
--- cmd.cc	cfaa5d58e45e55e98079b3d8c4153332eb8abd33
+++ cmd.cc	71453c6d3903cef5bb3d864aa9d7f8df05d6ca8c
@@ -573,9 +573,9 @@ man_title(string const & title)
 static string
 man_title(string const & title)
 {
-  return ".TH \"" + title + "\" 1 " +
-         date_t::now().as_formatted_localtime("%Y-%m-%d") +
-         "\n";
+  return ".TH \"" + title + "\" 1 "+
+         "\"" + date_t::now().as_formatted_localtime("%Y-%m-%d") + "\" " +
+         "\"" + PACKAGE_STRING + "\"\n";
 }
 
 static string