diff --git a/doc/Makefile b/doc/Makefile
index 8cb79fe546728233df04199162e0d8f6b6719c15..b059b71a512a5a5b8bde023c7b8067692ecd5b2d 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
SOURCE = announcement.txt customizing.txt developers.txt FAQ.txt features.txt \
glossary.txt implementation.txt index.txt design.txt mysql.txt \
- installation.txt upgrading.txt user_guide.txt maintenance.txt
+ installation.txt upgrading.txt user_guide.txt maintenance.txt \
+ postgresql.txt
COMPILED := $(SOURCE:.txt=.html)