diff options
| author |   Ronan <ronan.lemartret@iot.bzh> | 2017-01-04 10:02:36 +0100 |
|---|---|---|
| committer | Ronan <ronan.lemartret@iot.bzh> | 2017-01-23 14:59:32 +0100 |
| commit | fd5f3db501dd4fcc054ff182c4336c3e073a11d6 (patch) | |
| tree | afa908e4d434dd7bfaf8923e907f9000efc724b5 /.gitignore | |
| parent | 5d3c0af5b16aabf66a854d88437e1e27b479e256 (diff) | |
add local fetch to easily test local modification
* add "make localFetch" command
* a local local fetch can't be push, you must clean
and do a regular fetch to push upstream
* AGL_GITHUB_FETCH,AGL_GITHUB_EDIT is use to specify the AGL source
* AGL_GITHUB_BRANCH is use to choose the AGL doc branch
* AGL_SRC is use to specify the AGL github user
* AGL_GERRIT_BRANCH is use to choose the AGL gerrit doc branch
* Usage:
- make fetch: fetch the site if necessary
- make localFetch: fetch the site if necessary but use local file.
So just use "make localFetch" instead on "make fetch" to do a local fetch
Signed-off-by: Ronan <ronan.lemartret@iot.bzh>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,3 +6,4 @@ conf/_release.yml site/_data/all-pages.yml site/_data/tocs .fetch.ts +.LocalFetch.ts |