From 75f38a97e0ef67891b4cf7760f41b97aaccd1a54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Grisez?= Date: Tue, 27 Mar 2018 17:21:59 +0200 Subject: [PATCH] Remove source directory --- coreapi/help/doc/sphinx/CMakeLists.txt | 2 +- coreapi/help/doc/sphinx/{source => }/index.rst | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename coreapi/help/doc/sphinx/{source => }/index.rst (100%) diff --git a/coreapi/help/doc/sphinx/CMakeLists.txt b/coreapi/help/doc/sphinx/CMakeLists.txt index 0d569a438..c6058f6d7 100644 --- a/coreapi/help/doc/sphinx/CMakeLists.txt +++ b/coreapi/help/doc/sphinx/CMakeLists.txt @@ -41,7 +41,7 @@ if (ENABLE_SPHINX_DOC) index_page.mustache ) configure_file(conf.py.in source/conf.py) - configure_file(source/index.rst source/index.rst COPYONLY) + configure_file(index.rst source/index.rst COPYONLY) configure_file(logo.png source/logo.png COPYONLY) add_custom_command(OUTPUT ${GENERATED_SPHINX_SOURCES} COMMAND ${CMAKE_COMMAND} -E remove -f ${DOCUMENTATION_DIRS} diff --git a/coreapi/help/doc/sphinx/source/index.rst b/coreapi/help/doc/sphinx/index.rst similarity index 100% rename from coreapi/help/doc/sphinx/source/index.rst rename to coreapi/help/doc/sphinx/index.rst