From e289eada49bdb3b07f91d76c4385df0be958ec83 Mon Sep 17 00:00:00 2001 From: Niels Date: Sun, 21 Jun 2015 12:45:46 +0200 Subject: [PATCH] added target to update Doxygen --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Makefile b/Makefile index 5f446639..4d9e5b8f 100644 --- a/Makefile +++ b/Makefile @@ -42,6 +42,16 @@ docset: update_docs src/json.hpp gsed -i 's@doxygen@json@' 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