From b47949a1e78d3f363dca5798523267abfafc9147 Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Mon, 8 Jun 2015 23:27:57 -0400 Subject: [PATCH] misc: add build_origin_doc to easily build reference document from master Signed-off-by: Alexandre Terrasa --- misc/jenkins/build_origin_doc.sh | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100755 misc/jenkins/build_origin_doc.sh diff --git a/misc/jenkins/build_origin_doc.sh b/misc/jenkins/build_origin_doc.sh new file mode 100755 index 0000000..eea28c7 --- /dev/null +++ b/misc/jenkins/build_origin_doc.sh @@ -0,0 +1,24 @@ +#!/bin/bash +# This file is part of NIT ( http://www.nitlanguage.org ). +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +# This script build the nitdoc bin from in origin/master +# +# Result is saved in bin/ + +current_branch=`git rev-parse --abbrev-ref HEAD` + +git checkout origin/master +bin/nitc src/nitdoc.nit -o bin/nitdoc.orig +git checkout $current_branch -- 1.7.9.5