From 82c4b851d1f61ed463154c6866e074dcbae36f59 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Tue, 19 Jul 2022 19:21:18 +0000
Subject: [PATCH] doc: add a .nojekyll to gh pages

---
 publish-gh-pages | 1 +
 1 file changed, 1 insertion(+)

diff --git a/publish-gh-pages b/publish-gh-pages
index 3e0e867..cc73e35 100755
--- a/publish-gh-pages
+++ b/publish-gh-pages
@@ -9,6 +9,7 @@ git checkout master -- \
   '*.png' \
   _config.yml \
 ;
+touch .nojekyll
 cp out/README.html index.html
 cp out/doc/* .
 mv README.html index-split.html