diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4004d24cb..5a1f137a9 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -8,7 +8,8 @@ MAKEINFOFLAGS = --no-split --css-include=$(srcdir)/heimdal.css
 
 TEXI2DVI = true # ARGH, make distcheck can't be disabled to not build dvifiles
 
-info_TEXINFOS = heimdal.texi
+info_TEXINFOS = heimdal.texi hx509.texi
+
 heimdal_TEXINFOS = \
 	ack.texi \
 	apps.texi \