diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore
index d0c7924..cfc155d 100644
--- a/doc/manual/.gitignore
+++ b/doc/manual/.gitignore
@@ -1,5 +1,3 @@
-introduction.xml
-installation.xml
 manual.html
 options-composition.xml
 options-service.xml
diff --git a/doc/manual/Makefile b/doc/manual/Makefile
index 228afe1..cc31da1 100644
--- a/doc/manual/Makefile
+++ b/doc/manual/Makefile
@@ -17,7 +17,7 @@ docbookxsl = http://docbook.sourceforge.net/release/xsl/current
 
 all: manual.html
 
-manual.html: manual.xml introduction.xml installation.xml options-composition.xml options-service.xml
+manual.html: manual.xml options-composition.xml options-service.xml
 	$(xsltproc) --xinclude --stringparam profile.condition manual \
 	  $(docbookxsl)/profiling/profile.xsl manual.xml | \
 	  $(xsltproc) --output manual.html $(docbookxsl)/xhtml/docbook.xsl -
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index 237ef2f..bce99c2 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -16,9 +16,6 @@
 
   </info>
 
-  <xi:include href="introduction.xml" xpointer="xpointer(/article)" />
-  <xi:include href="installation.xml" xpointer="xpointer(/article)" />
-
   <xi:include href="options-composition.xml" />
   <xi:include href="options-service.xml" />