diff --git a/util/opt/pmfile b/util/opt/pmfile
index cb9c0cb28..40884bb71 100644
--- a/util/opt/pmfile
+++ b/util/opt/pmfile
@@ -94,4 +94,7 @@ tool_opt = group {
 }
 
 -- Revision history
--- $Log: genmakefile,v 
+-- $Log$
+-- Revision 1.2  2006-07-20 23:10:07  dtrg
+-- Fixed revision history.
+--