various updates

[roundup.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 5322ca08a02c054a608c1c2067946295a0388aa2..b059b71a512a5a5b8bde023c7b8067692ecd5b2d 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,8 +2,9 @@ PYTHON = /usr/bin/python2
 STXTOHTML = rst2html
 
 SOURCE = announcement.txt customizing.txt developers.txt FAQ.txt features.txt \
-    glossary.txt implementation.txt index.txt design.txt \
-    installation.txt upgrading.txt user_guide.txt maintenance.txt
+    glossary.txt implementation.txt index.txt design.txt mysql.txt \
+    installation.txt upgrading.txt user_guide.txt maintenance.txt \
+       postgresql.txt
 
 COMPILED := $(SOURCE:.txt=.html)