Insert a version number comment (5.2.2).

diff --git a/etc/ps-prin2.ps b/etc/ps-prin2.ps
index e2685a972ebf827f83800425e8240db7dcd4c44a..dcf7d29913448d7c819cf1110b37cea385f0b477 100644 (file)
--- a/etc/ps-prin2.ps
+++ b/etc/ps-prin2.ps
@@ -1,4 +1,5 @@
 % === BEGIN ps-print prologue 2
+% version: 5.2.2
 
 % ---- These lines must be kept together because...