1 files changed, 4 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 8e40d21..81c32e6 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,6 +2,7 @@
 # copyright : Copyright (c) 2009-2012 Code Synthesis Tools CC
 # license   : GNU GPL v3; see accompanying LICENSE file
 
-dist_doc_DATA = __file__(docs)
-dist_man_MANS = __file__(mans)
-
+dist_ps_DATA = __file__(ps_docs)
+dist_pdf_DATA = __file__(pdf_docs)
+dist_html_DATA = __file__(html_docs)
+dist_man_MANS = __file__(man_docs)