diff options
| author | Yukihiro "Matz" Matsumoto <[email protected]> | 2019-08-22 13:50:28 +0900 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-22 13:50:28 +0900 |
| commit | 246179518d8e3641dcb026fb24e8b06f9878faa8 (patch) | |
| tree | 43ec804d0c3253121bbc618576acce606b1304f5 | |
| parent | 3ad58f4dae057e5456e8446da3a52a53b592151a (diff) | |
| parent | 07b2d33347c2d2c60cba0ddb1963c2cd6cdd1684 (diff) | |
| download | mruby-246179518d8e3641dcb026fb24e8b06f9878faa8.tar.gz mruby-246179518d8e3641dcb026fb24e8b06f9878faa8.zip | |
Merge pull request #4655 from yamori813/master
make clean error workaround
| -rw-r--r-- | Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc index cf95c187f..02bfa55d6 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -11,5 +11,5 @@ docserver : docs firefox doxygen/html/index.html docsclean : - rm -r doxygen + rm -rf doxygen .PHONY : docserver docsclean |