From c8ced4ecbcf652d3748c102a38d7df4cd9ec1858 Mon Sep 17 00:00:00 2001 From: Niels Date: Sun, 26 Jul 2015 10:59:17 +0200 Subject: [PATCH] cleanup --- doc/Makefile | 4 ++-- doc/{ => scripts}/git-update-ghpages | 0 doc/{ => scripts}/send_to_wandbox.py | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename doc/{ => scripts}/git-update-ghpages (100%) rename doc/{ => scripts}/send_to_wandbox.py (100%) diff --git a/doc/Makefile b/doc/Makefile index 35077b81..f4abbcfb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -31,7 +31,7 @@ EXAMPLES = $(wildcard examples/*.cpp) rm -fr tmp mkdir tmp cp $(SRCDIR)/json.hpp tmp - ./send_to_wandbox.py tmp $< > $@.tmp + scripts/send_to_wandbox.py tmp $< > $@.tmp /bin/echo -n "online" > $@ rm -fr tmp $@.tmp @@ -55,7 +55,7 @@ doxygen: create_output create_links gsed -i 's@< ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberFloatType, AllocatorType >@@g' html/*.html upload: clean doxygen check_output - cd html ; ../git-update-ghpages nlohmann/json + cd html ; ../scripts/git-update-ghpages nlohmann/json rm -fr html open http://nlohmann.github.io/json/ diff --git a/doc/git-update-ghpages b/doc/scripts/git-update-ghpages similarity index 100% rename from doc/git-update-ghpages rename to doc/scripts/git-update-ghpages diff --git a/doc/send_to_wandbox.py b/doc/scripts/send_to_wandbox.py similarity index 100% rename from doc/send_to_wandbox.py rename to doc/scripts/send_to_wandbox.py