From d35c7a30006f6a518573c0850445f22c73ff3448 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 8 Mar 2018 00:45:49 +0100 Subject: [PATCH] rename the graphical toc's file, and include it in dist --- doc/doxygen/deployment.doc | 2 +- doc/doxygen/index.doc | 2 +- doc/doxygen/options.doc | 2 +- doc/doxygen/platform.doc | 2 +- doc/{doc-toc.svg => graphical-toc.svg} | 0 tools/cmake/DefinePackages.cmake | 1 + 6 files changed, 5 insertions(+), 4 deletions(-) rename doc/{doc-toc.svg => graphical-toc.svg} (100%) diff --git a/doc/doxygen/deployment.doc b/doc/doxygen/deployment.doc index 8bf1395ebf..20dd046db6 100644 --- a/doc/doxygen/deployment.doc +++ b/doc/doxygen/deployment.doc @@ -5,7 +5,7 @@ \htmlonly
\endhtmlonly -\htmlinclude doc-toc.svg +\htmlinclude graphical-toc.svg \htmlonly