Chapter 0: Introduction

This commit is contained in:
2017-10-29 20:44:53 +01:00
parent 8c24f7eb6a
commit ffe5d3dfe7
4 changed files with 12 additions and 0 deletions

0
doc/0_Introduction.md Normal file
View File

6
doc/README.md Normal file
View File

@@ -0,0 +1,6 @@
# MittOS64
**Table of Contents**
[Chapter 0: Introduction](0_Introduction.md)<br>

18
doc/retag.sh Executable file
View File

@@ -0,0 +1,18 @@
#!/usr/bin/env bash
set -e
first_commit=`git rev-list --max-parents=0 master`
revs=`git rev-list --reverse ${first_commit}..master`
git tag | xargs git tag -d
for rev in $revs; do
message=`git log --pretty=tformat:%s -1 $rev`
chapter=`echo $message | sed -e "/^Chapter \(.*\):.*$/!d;s//ch\1/"`
if [[ -n $chapter ]]; then
git tag $chapter $rev
fi
done

6
doc/serve Executable file
View File

@@ -0,0 +1,6 @@
#!/usr/bin/env bash
# This script serves the documentation folder rendered to HTML using GitHub Markdown on port 5000
# docker run -d --rm -v $(pwd)/doc:/data -p 5000:6419 kbai/grip 0.0.0.0:6419
docker run -d --rm -v $(pwd)/doc:/data -p 5000:3080 thomsch98/markserv