From b344657d0fc884da13f209073404c3cbf6cfd99a Mon Sep 17 00:00:00 2001 From: Sven Dowideit Date: Wed, 2 Nov 2016 15:19:14 +1000 Subject: [PATCH] add 'make docs' to build locally Signed-off-by: Sven Dowideit --- Makefile | 3 +++ docs/index.html | 15 +++++++++++++++ scripts/docs | 6 ++++++ 3 files changed, 24 insertions(+) create mode 100644 docs/index.html create mode 100755 scripts/docs diff --git a/Makefile b/Makefile index dd96c5a9..ae12a4db 100644 --- a/Makefile +++ b/Makefile @@ -25,6 +25,9 @@ run: build/initrd/.id .dapper ./.dapper -m bind build-target ./scripts/run +docs: + ./scripts/docs + shell-bind: .dapper ./.dapper -m bind -s diff --git a/docs/index.html b/docs/index.html new file mode 100644 index 00000000..7948dc1b --- /dev/null +++ b/docs/index.html @@ -0,0 +1,15 @@ + + + + + + + Page Redirection + + + + If you are not redirected automatically, follow the link to os + + diff --git a/scripts/docs b/scripts/docs new file mode 100755 index 00000000..0be13169 --- /dev/null +++ b/scripts/docs @@ -0,0 +1,6 @@ +#!/bin/bash +set -e +set -x + +docker run --rm -v $(pwd)/docs:/site -p 4000:4000 andredumas/github-pages serve --watch +