diff --git a/doc/hx509.texi b/doc/hx509.texi
index a70ffed0c..de40e62aa 100644
--- a/doc/hx509.texi
+++ b/doc/hx509.texi
@@ -14,10 +14,8 @@
 @syncodeindex pg cp
 @c %**end of header
 
-@c @include version.texi
 @set UPDATED $Date$
-@set EDITION 0.1
-@set VERSION 0.8
+@include version.texi
 
 @ifinfo
 @dircategory Security