mirror of
https://github.com/nlohmann/json.git
synced 2024-11-27 16:49:02 +08:00
added target to update Doxygen
This commit is contained in:
parent
3a5b50d614
commit
e289eada49
10
Makefile
10
Makefile
@ -42,6 +42,16 @@ docset: update_docs src/json.hpp
|
||||
gsed -i 's@<string>doxygen</string>@<string>json</string>@' me.nlohmann.json.docset/Contents/Info.plist
|
||||
rm -fr Doxyfile_docset html
|
||||
|
||||
# update online documentation
|
||||
update_doxygen_online:
|
||||
make re2c pretty doxygen
|
||||
rm -fr /tmp/github-html
|
||||
cp -r html /tmp/github-html
|
||||
git checkout gh-pages
|
||||
rm -fr html
|
||||
mv /tmp/github-html html
|
||||
git checkout master
|
||||
|
||||
# create scanner with re2c
|
||||
re2c: src/json.hpp.re2c
|
||||
$(RE2C) -b -s -i --no-generation-date $< | $(SED) '1d' > src/json.hpp
|
||||
|
Loading…
Reference in New Issue
Block a user