diff options
| author | yamori813 <[email protected]> | 2019-08-22 10:59:46 +0900 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-22 10:59:46 +0900 |
| commit | 07b2d33347c2d2c60cba0ddb1963c2cd6cdd1684 (patch) | |
| tree | 43ec804d0c3253121bbc618576acce606b1304f5 /Makefile.doc | |
| parent | 3ad58f4dae057e5456e8446da3a52a53b592151a (diff) | |
| download | mruby-07b2d33347c2d2c60cba0ddb1963c2cd6cdd1684.tar.gz mruby-07b2d33347c2d2c60cba0ddb1963c2cd6cdd1684.zip | |
workaround error
Diffstat (limited to 'Makefile.doc')
| -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 |