diff options
| author | David Thompson <dthompson2@worcester.edu> | 2023-05-24 07:33:22 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-05-24 07:33:22 -0400 |
| commit | 915836a8fdde35ef3b4dd24ba3387467f7bce5b1 (patch) | |
| tree | 4b41be7d558e6c321e27d8a76ea680681bc36546 /pre-inst-env.in | |
| parent | de760349fae3c6502267aaf00057be70455847bb (diff) | |
Don't build dvi docs.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions