From: Sarah Hoffmann Date: Mon, 11 Oct 2021 20:23:38 +0000 (+0200) Subject: rename manual directory to man X-Git-Tag: v4.0.0~17^2~13 X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/381aecb95231afa04dd41da7ece3533aa525c3fa rename manual directory to man Avoids confusion between 'docs' and 'manual'. --- diff --git a/CMakeLists.txt b/CMakeLists.txt index af9c546e..7ab4fb7c 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -200,7 +200,7 @@ endif() #----------------------------------------------------------------------------- if (BUILD_MANPAGE) - add_subdirectory(manual) + add_subdirectory(man) endif() #----------------------------------------------------------------------------- diff --git a/manual/CMakeLists.txt b/man/CMakeLists.txt similarity index 85% rename from manual/CMakeLists.txt rename to man/CMakeLists.txt index 9b69b790..51e48d33 100644 --- a/manual/CMakeLists.txt +++ b/man/CMakeLists.txt @@ -1,6 +1,6 @@ # Creates and installs manual page -configure_file(${PROJECT_SOURCE_DIR}/manual/create-manpage.tmpl create_manpage.py) +configure_file(${CMAKE_CURRENT_SOURCE_DIR}/create-manpage.tmpl create_manpage.py) find_program(ARGPARSEMANPAGE argparse-manpage) diff --git a/manual/create-manpage.tmpl b/man/create-manpage.tmpl similarity index 100% rename from manual/create-manpage.tmpl rename to man/create-manpage.tmpl diff --git a/manual/nominatim.1 b/man/nominatim.1 similarity index 100% rename from manual/nominatim.1 rename to man/nominatim.1