Insert a version number comment (5.2.2).

diff --git a/etc/ps-prin2.ps b/etc/ps-prin2.ps
index e2685a9..dcf7d29 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...