diff options
| author | David Robillard <d@drobilla.net> | 2022-05-09 20:21:39 -0400 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2022-05-09 20:21:39 -0400 |
| commit | 084fcc82a77a6e6fe36dc3b3abf92032766ab3d5 (patch) | |
| tree | 75ab39f9b599a9fd4ef2df936ee6c42db621d9e9 /wscript | |
| parent | 2edb78cc997b80493a5635d0dcecf4a25203d2a9 (diff) | |
| download | sratom-084fcc82a77a6e6fe36dc3b3abf92032766ab3d5.tar.gz sratom-084fcc82a77a6e6fe36dc3b3abf92032766ab3d5.tar.bz2 sratom-084fcc82a77a6e6fe36dc3b3abf92032766ab3d5.zip | |
Fix documentation installation directory
Diffstat (limited to 'wscript')
| -rw-r--r-- | wscript | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -37,6 +37,7 @@ def configure(conf): conf.env.BUILD_SHARED = not Options.options.no_shared conf.env.BUILD_STATIC = Options.options.static + conf.env.SRATOM_MAJOR_VERSION = SRATOM_MAJOR_VERSION if not conf.env.BUILD_SHARED and not conf.env.BUILD_STATIC: conf.fatal('Neither a shared nor a static build requested') |