diff --git a/doc/Makefile b/doc/Makefile
index 987dfe7071249eaccb6ccda635c58dea3b3599e5..dcfb826731a1a5ae8b0c1d24cb8ae2d9900d29d3 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 \
- installation.txt security.txt upgrading.txt user_guide.txt \
- maintenance.txt
+ installation.txt upgrading.txt user_guide.txt maintenance.txt
COMPILED := $(SOURCE:.txt=.html)