Emit ." rather than a blank line after adding a Id line for man pages.

diff --git a/util/update_copyrights b/util/update_copyrights
index c580bca3cfa200371cb04407972cf5fecbb2f4d9..30170e13641dc6928fea129aac186aa01778e5eb 100644 (file)
--- a/util/update_copyrights
+++ b/util/update_copyrights
@@ -15,7 +15,7 @@
 # OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
 # PERFORMANCE OF THIS SOFTWARE.
 
-# $Id: update_copyrights,v 1.28 2004/03/05 05:14:17 marka Exp $
+# $Id: update_copyrights,v 1.29 2004/03/05 07:05:50 marka Exp $
 
 require 5.002;
 
@@ -358,6 +358,7 @@ while (<>) {
                 }
 
                 if ($first !~ /$keyword_pat/ && $_ !~ /$keyword_pat/) {
+                       $end = "\n$start" if ($type eq "MAN");
                         print TARGET "$start\$";
                         print TARGET "Id: ";
                         print TARGET "\$$end\n";