diff options
| author | Fabian Möller <fabianm88@gmail.com> | 2020-10-22 12:55:25 +0200 |
|---|---|---|
| committer | Fabian Möller <fabianm88@gmail.com> | 2020-10-22 12:55:25 +0200 |
| commit | 40c9b2840bcf9e3a45522a2402ec8c4fd6a77bfa (patch) | |
| tree | f663f8c826deb187554e028d45bbc52de3c9c9d9 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 6c40c0ace80b4497be35da47d57f8553a746a921 (diff) | |
mpd: fix build without documentation feature
The man pages are only generated when the `documentation` feature is
activated (sphinx is found). Otherwise no files are installed in `$man`
and the output is not created.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions