]> git.openstreetmap.org Git - nominatim.git/blobdiff - Makefile
Merge pull request #3580 from lonvia/about-ai-prs
[nominatim.git] / Makefile
index 29243583431092b8b3f4812c84c5ea1a894290ec..421b671a1cdd50506298f71bfc1c2373a5f828cd 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ build-api:
 tests: mypy lint pytest bdd
 
 mypy:
-       mypy --strict src
+       mypy --strict --python-version 3.8 src
 
 pytest:
        pytest test/python
@@ -37,4 +37,8 @@ doc:
 serve-doc:
        mkdocs serve
 
-.PHONY: tests mypy pytest lint bdd build clean-build build-db build-api doc serve-doc
+manpage:
+       argparse-manpage --pyfile man/create-manpage.py --function get_parser --project-name Nominatim --url https://nominatim.org  > man/nominatim.1 --author 'the Nominatim developer community' --author-email info@nominatim.org
+
+
+.PHONY: tests mypy pytest lint bdd build clean-build build-db build-api doc serve-doc manpage