diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-04 18:59:01 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-04 18:59:01 +0200 |
| commit | ec6be98098b1be030e4512f4f6ea53420e8c53c7 (patch) | |
| tree | f28d3ca2325edec15b9b1a8d0124eb568d9522a3 /doc/.gitignore | |
| parent | 223b0fe6edda5ea3da1110c7d4e0c62575bd55fa (diff) | |
Only set install variables if install module has been loaded
While generally a good idea, failing to do this trips up our load
generation protection.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions