doc: kill a useless and unused file

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index e8922fa..65163a5 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -644,7 +644,6 @@ WARN_LOGFILE           =
 
 INPUT                  = doxygen/index.doc \
                          doxygen/getting_started.doc \
-                         doxygen/getting_started_index.doc \
                          doxygen/tutorial.doc \
                          doxygen/install.doc \
                          doxygen/examples.doc \

diff --git a/doc/doxygen/getting_started_index.doc b/doc/doxygen/getting_started_index.doc
deleted file mode 100644 (file)
index f160c94..0000000
--- a/doc/doxygen/getting_started_index.doc
+++ /dev/null
@@ -1,13 +0,0 @@
-/*! 
-@page getting_started_index Getting Started 
-
-- @subpage getting_started
-- @subpage install
-    - @ref contact
-- @subpage advanced
-  - @ref bindings
-  - @ref pls
-  - @ref tracing
-  - @ref contributing
-
-*/

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index f17836c..db181ae 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -788,7 +788,6 @@ set(DOC_SOURCES
   doc/doxygen/deployment.doc
   doc/doxygen/footer.html
   doc/doxygen/getting_started.doc
-  doc/doxygen/getting_started_index.doc
   doc/doxygen/header.html
   doc/doxygen/help.doc
   doc/doxygen/index.doc