rename manual directory to man

Avoids confusion between 'docs' and 'manual'.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index af9c546ebd43548f425f7b342b8297cdc9720f02..7ab4fb7c6a9bf65c5ba916b504152b3661d58f47 100644 (file)
--- 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 9b69b790e82bbb71211e5bc62a12539ab9a878df..51e48d333eba76e8278f10202f7904799cb79fbb 100644 (file)
--- 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