diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-01 15:13:27 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-06-01 20:24:32 +0200 |
| commit | d64f7051995575c2c1044d7c0d6fd7dcaa07beb6 (patch) | |
| tree | d7fff7f998c29ce52fd47a96c2ccb7abfb4c0c09 /test/html/driver.sh | |
| parent | 69c59c6dfe9c44812c95e113bdaf9363645e7b75 (diff) | |
Perform distcheck in another build tree
As we are now copying the contents of the render/ and manual/
directories under test/html, any remaining files from a previous build
will be included. To prevent errors from a previous `make check`
command, we make the check and distcheck in different build directories.
Diffstat (limited to 'test/html/driver.sh')
0 files changed, 0 insertions, 0 deletions