Scala3doc: hack generating an index file

abgruszecki · abgruszecki · commit dc8708a60c2d · 2020-11-11T20:18:35.000+01:00
diff --git a/.github/workflows/scala3doc.yaml b/.github/workflows/scala3doc.yaml
@@ -57,6 +57,9 @@ jobs:
       - name: Generate documentation for example project using dotty-sbt
         run: ./project/scripts/sbt "sbt-dotty/scripted sbt-dotty/scala3doc"
 
+      - name: Generate index file
+        run: scala3doc/scripts/mk-index.sh scala3doc/output > scala3doc/output/index.html
+
       - name: Upload documentation to server
         uses: azure/CLI@v1
         env: 
diff --git a/scala3doc/scripts/mk-index.sh b/scala3doc/scripts/mk-index.sh
@@ -0,0 +1,42 @@
+#!/usr/bin/env bash
+
+function print-beginning {
+	cat << 'EOF'
+<html>
+    <body>
+        <p> Available projects: </p>
+        <ul>
+EOF
+}
+
+function print-list-element {
+	cat << EOF
+        <li> <a href="$1">$2</a> </li>
+EOF
+}
+
+function print-ending {
+	cat << 'EOF'
+        </ul>
+    </body>
+</html>
+EOF
+}
+
+cd "$1" || exit
+
+print-beginning
+for f in *
+do
+	! [[ -d $f ]] && continue
+	# assuming that there's only one "root" index file
+	# if there's a static site, it's at depth 1
+	# otherwise at depth 2
+	INDEX=$(find "$f" -maxdepth 1 -name 'index.html')
+	if [[ -z $INDEX ]]
+	then
+		INDEX=$(find "$f" -maxdepth 2 -name 'index.html')
+	fi
+	print-list-element "$INDEX" "$f"
+done
+print-ending
