diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-20 13:34:41 +0100 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-20 13:34:41 +0100 |
commit | 2589b040bad055ac589441a3f49e7ae0c59d9083 (patch) | |
tree | eddf7d8195677cb7c96f2c27987b31f132389ebd /demo | |
parent | 68cd1c9ed7fb8829d390a576564a9e106a68e329 (diff) | |
download | fullSWOF-utils-2589b040bad055ac589441a3f49e7ae0c59d9083.tar.gz |
fullswof-utils: Ignore non-existing files when cleaning doc directory.
* Makefile: Add option to remove command.
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions