[games/picmi] doc: doc: remove download/build instructions

[Pino Toscano]

Git commit a6ac6624392d8c46a8838ad4c0894cf90a877c4c by Pino Toscano.
Committed on 28/06/2020 at 06:05.
Pushed by pino into branch 'master'.

doc: remove download/build instructions

They do not belong to an user-facing documentation, but rather to
separate download/build development pages.

M  +0    -18   doc/index.docbook

https://invent.kde.org/games/picmi/commit/a6ac6624392d8c46a8838ad4c0894cf90a877c4c

diff --git a/doc/index.docbook b/doc/index.docbook
index 29dd860..f0d97b2 100644
--- a/doc/index.docbook
+++ b/doc/index.docbook
@@ -414,24 +414,6 @@ Documentation copyright 2012 by Jakob Gruber <email>jakob.gruber at gmail.com</emai
 
 </chapter>
 
-<appendix id="installation">
-<title>Installation</title>
-
-<sect1 id="getting-picmi">
-<title>How to obtain &picmi;</title>
-
-&install.intro.documentation;
-
-</sect1>
-
-<sect1 id="compilation">
-<title>Compilation and Installation</title>
-
-&install.compile.documentation;
-
-</sect1>
-</appendix>
-
 
 &documentation.index;
 </book>