From 9f896017ee21e1e5c094e7c2a195515d013a781d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Thu, 2 May 2019 13:33:24 +0700
Subject: [PATCH] manual: don't use removed files

---
 doc/manual/.gitignore | 2 --
 doc/manual/Makefile   | 2 +-
 doc/manual/manual.xml | 3 ---
 3 files changed, 1 insertion(+), 6 deletions(-)

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" />