From be11aa3a862472b3b71c501956906342339e7b1b Mon Sep 17 00:00:00 2001
From: Nils <>
Date: Sun, 5 Apr 2020 01:44:02 +0200
Subject: [PATCH] pull documentation
---
generate.bash | 7 ++++++-
projectinfo2modulepage.py | 4 ++--
static/documentation/README.md | 2 ++
3 files changed, 10 insertions(+), 3 deletions(-)
create mode 100644 static/documentation/README.md
diff --git a/generate.bash b/generate.bash
index 5a3c4fe..bb59009 100755
--- a/generate.bash
+++ b/generate.bash
@@ -13,7 +13,6 @@ echo Running from "$ROOTPATH"
#Create initial structure and data-set
mkdir temp || true #in .gitignore . Make dir, ignore fail if exists for set -e
-mkdir -p "out/images" || true #in .gitignore . Make dir, ignore fail if exists for set -e
rm -rf out/
cp -r static out
cd temp
@@ -39,6 +38,12 @@ do
done
cd "$ROOTPATH" #reset for next step
+#Documentation, just a copy
+for PROJECT in ${PROJECTS[*]}
+do
+ cp -r "temp/$PROJECT/documentation/out" "out/documentation/$PROJECT"
+ cp "static/images/$PROJECT.png" "out/documentation/$PROJECT/logo.png"
+done
#Generate Menu. n^2 loop. For each project all projects
for PROJECT in ${PROJECTS[*]}
diff --git a/projectinfo2modulepage.py b/projectinfo2modulepage.py
index b6d78ef..658fcef 100755
--- a/projectinfo2modulepage.py
+++ b/projectinfo2modulepage.py
@@ -40,9 +40,9 @@ template = f"""
diff --git a/static/documentation/README.md b/static/documentation/README.md
new file mode 100644
index 0000000..f9d88d6
--- /dev/null
+++ b/static/documentation/README.md
@@ -0,0 +1,2 @@
+The generator script pulls in the pre-built documentation from each git.
+Since each program has a built-in documentation viewer, a minimal browser, this is already in the right format.
\ No newline at end of file