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 | |
| 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.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ html-doc: doc/fullswof-utils.texi clean: @echo "Cleaning up..." - @rm doc/fullswof-utils.info doc/images doc/dir + @rm -f doc/fullswof-utils.info doc/images doc/dir @rm -rf manual .PHONY: all clean |