Merge remote-tracking branch 'upstream/master'

[nominatim.git] / Makefile

diff --git a/Makefile b/Makefile
index 29243583431092b8b3f4812c84c5ea1a894290ec..421b671a1cdd50506298f71bfc1c2373a5f828cd 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ build-api:
 tests: mypy lint pytest bdd
 
 mypy:
 tests: mypy lint pytest bdd
 
 mypy:

-       mypy --strict src
+       mypy --strict --python-version 3.8 src

 
 pytest:
        pytest test/python
 
 pytest:
        pytest test/python


@@ -37,4 +37,8 @@ doc:
 serve-doc:
        mkdocs serve
 
 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