diff --git a/doc/Makefile.am b/doc/Makefile.am
index b81b68b8c..a0dd4d76a 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -22,6 +22,5 @@ heimdal_TEXINFOS = \
 	programming.texi \
 	version.texi \
 	setup.texi \
-	setup.texi \
 	whatis.texi \
 	win2k.texi
diff --git a/doc/heimdal.texi b/doc/heimdal.texi
index 078294896..a7bd1496f 100644
--- a/doc/heimdal.texi
+++ b/doc/heimdal.texi
@@ -15,7 +15,8 @@
 @c %**end of header
 
 @set UPDATED $Date$
-@include version.texi
+@set VERSION 1.0
+@set EDITION 1.0
 
 @ifinfo
 @dircategory Security
diff --git a/doc/hx509.texi b/doc/hx509.texi
index de40e62aa..f15cb1362 100644
--- a/doc/hx509.texi
+++ b/doc/hx509.texi
@@ -15,7 +15,8 @@
 @c %**end of header
 
 @set UPDATED $Date$
-@include version.texi
+@set VERSION 1.0
+@set EDITION 1.0
 
 @ifinfo
 @dircategory Security
diff --git a/doc/version.texi b/doc/version.texi
deleted file mode 100644
index 7fcd3e6d8..000000000
--- a/doc/version.texi
+++ /dev/null
@@ -1,2 +0,0 @@
-@set EDITION 0.1
-@set VERSION 0.8