From 972463301b833938dae1518972639e036c9c3b67 Mon Sep 17 00:00:00 2001 From: Ciro Santilli Date: Tue, 19 Jul 2022 19:21:18 +0000 Subject: [PATCH] doc: add a .nojekyll to gh pages and ignore submodules --- README.adoc | 2 +- publish-gh-pages | 10 ++++++++-- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/README.adoc b/README.adoc index 7b6fdc4..7009441 100644 --- a/README.adoc +++ b/README.adoc @@ -112,7 +112,7 @@ Related: <>. This setup has been tested on Ubuntu 20.04. -The Buildroot build is already broken on Ubuntu 21.04 onwards: https://github.com/cirosantilli/linux-kernel-module-cheat/issues/155[], just use the <> setup in that case. We could fix it on Ubuntu 21.04, but it will break again inevitably later on. +The Buildroot build is already broken on Ubuntu 21.04 onwards: https://github.com/cirosantilli/linux-kernel-module-cheat/issues/155[], so just do this from inside a 20.04 Docker instead as shown in the <> setup. We could fix the build on Ubuntu 21.04, but it will break again inevitably later on. For other host operating systems see: xref:supported-hosts[xrefstyle=full]. diff --git a/publish-gh-pages b/publish-gh-pages index 3e0e867..5480c37 100755 --- a/publish-gh-pages +++ b/publish-gh-pages @@ -9,10 +9,16 @@ git checkout master -- \ '*.png' \ _config.yml \ ; +touch .nojekyll +# submodules are not deleted on checkout. +# We should not publish like this, we should make a separate tree, +# otherwise files appear and disapear as you publish, which is bad +# for editors. But lazy. +echo 'submodules' >> .gitignore cp out/README.html index.html cp out/doc/* . mv README.html index-split.html git add . -git commit --message "$(git log -n1 --pretty='%H' master)" -git push +git commit --allow-empty --message "$(git log -n1 --pretty='%H' master)" +git push -f git checkout -