rename manual directory to man

Avoids confusion between 'docs' and 'manual'.
This commit is contained in:
Sarah Hoffmann
2021-10-11 22:23:38 +02:00
parent 45344575c6
commit 381aecb952
4 changed files with 2 additions and 2 deletions

View File

@@ -200,7 +200,7 @@ endif()
#-----------------------------------------------------------------------------
if (BUILD_MANPAGE)
add_subdirectory(manual)
add_subdirectory(man)
endif()
#-----------------------------------------------------------------------------