diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/makefile b/docs/makefile index 3cee7e4..8336791 100644 --- a/docs/makefile +++ b/docs/makefile @@ -27,4 +27,4 @@ $(PDFS): res/%.pdf: res/%.svg $(SVGS) inkscape -z -D --file=$< --export-pdf=$@ clean: - rm -i $(BUILD_DIR)/* + rm $(BUILD_DIR)/* |