diff options
| author | Kazuhiko Sakaguchi | 2019-11-29 12:49:37 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-11-29 12:49:37 +0900 |
| commit | 96d30e3170e01484b21b019186135fc2d6ebcc53 (patch) | |
| tree | 214c1038f61cf94b507f5b83f67ee1cdb56af98b /mathcomp | |
| parent | cbc1688d9447860a60cb3ede83099a10bcd408e2 (diff) | |
Fix Makefile
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/Makefile.common b/mathcomp/Makefile.common index 04c3adc..857ddef 100644 --- a/mathcomp/Makefile.common +++ b/mathcomp/Makefile.common @@ -146,4 +146,4 @@ doc: __always__ Makefile.coq cp ../etc/artwork/coqdoc.css _build_doc/htmldoc doc-clean: - rm -r _build_doc/ + rm -rf _build_doc/ |