From 94c1c90a18b60f57cc3e39e8269a604057f68c89 Mon Sep 17 00:00:00 2001 From: Tim Abell Date: Thu, 13 Apr 2023 11:32:57 +0100 Subject: [PATCH] Build an examples index for github pages Github pages doesn't do directory listings by default This is a bit hacky and manual but it works. --- examples/build-index.sh | 10 ++++++++++ examples/index.html | 12 ++++++++++++ 2 files changed, 22 insertions(+) create mode 100755 examples/build-index.sh create mode 100644 examples/index.html diff --git a/examples/build-index.sh b/examples/build-index.sh new file mode 100755 index 00000000000..e2dbf766abd --- /dev/null +++ b/examples/build-index.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +rm index.html + +echo "

reveal.js example decks

" >> index.html diff --git a/examples/index.html b/examples/index.html new file mode 100644 index 00000000000..19b49a346d3 --- /dev/null +++ b/examples/index.html @@ -0,0 +1,12 @@ +

reveal.js example decks