From: Sarah Hoffmann <lonvia@denofr.de>
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?ds=sidebyside;hp=381aecb95231afa04dd41da7ece3533aa525c3fa

rename manual directory to man

Avoids confusion between 'docs' and 'manual'.
---