From: Martin Quinson Date: Thu, 19 May 2016 04:57:42 +0000 (+0200) Subject: doc: kill a useless and unused file X-Git-Tag: v3_14~1210 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/af254c5af3f6fbf16605004186dfdce9fabe6acb doc: kill a useless and unused file --- diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in index e8922fa10e..65163a5c44 100644 --- 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 index f160c94de0..0000000000 --- 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 f17836c3b5..db181aeab0 100644 --- 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