mirror of
https://github.com/nlohmann/json.git
synced 2024-11-28 17:29:06 +08:00
broke Makefile
This commit is contained in:
parent
d200abfb5f
commit
022c11bf86
2
Makefile
2
Makefile
@ -50,7 +50,7 @@ update_doxygen_online:
|
|||||||
git checkout gh-pages
|
git checkout gh-pages
|
||||||
rm -fr html
|
rm -fr html
|
||||||
mv /tmp/github-html html
|
mv /tmp/github-html html
|
||||||
git commit -m "Doxygen update"
|
git commit -m "Doxygen update"
|
||||||
git checkout master
|
git checkout master
|
||||||
|
|
||||||
# create scanner with re2c
|
# create scanner with re2c
|
||||||
|
Loading…
Reference in New Issue
Block a user