diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2020-12-11 07:20:18 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-12-11 07:20:18 +0200 |
| commit | 4cf87fa84a6938e262fd6122e654e5a483a78abe (patch) | |
| tree | 9d6a7802d156dc287562f77184396e0cc7b62d23 /doc/doc.html2ps | |
| parent | 3074c5e1409ad49c0793db6384ecbc6ac4ed33a9 (diff) | |
Add support for module interface-only libraries
Also suppress generation of the object file in cases where we don't need it.
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions