Skip to content

Commit 9724633

Browse files
committed
doc: add a .nojekyll to gh pages and ignore submodules
1 parent 92bb7d5 commit 9724633

File tree

2 files changed

+9
-3
lines changed

2 files changed

+9
-3
lines changed

README.adoc

+1-1
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ Related: <<soft-topics>>.
112112

113113
This setup has been tested on Ubuntu 20.04.
114114

115-
The Buildroot build is already broken on Ubuntu 21.04 onwards: https://github.com/cirosantilli/linux-kernel-module-cheat/issues/155[], just use the <<docker>> setup in that case. We could fix it on Ubuntu 21.04, but it will break again inevitably later on.
115+
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 <<docker>> setup. We could fix the build on Ubuntu 21.04, but it will break again inevitably later on.
116116

117117
For other host operating systems see: xref:supported-hosts[xrefstyle=full].
118118

publish-gh-pages

+8-2
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,16 @@ git checkout master -- \
99
'*.png' \
1010
_config.yml \
1111
;
12+
touch .nojekyll
13+
# submodules are not deleted on checkout.
14+
# We should not publish like this, we should make a separate tree,
15+
# otherwise files appear and disapear as you publish, which is bad
16+
# for editors. But lazy.
17+
echo 'submodules' >> .gitignore
1218
cp out/README.html index.html
1319
cp out/doc/* .
1420
mv README.html index-split.html
1521
git add .
16-
git commit --message "$(git log -n1 --pretty='%H' master)"
17-
git push
22+
git commit --allow-empty --message "$(git log -n1 --pretty='%H' master)"
23+
git push -f
1824
git checkout -

0 commit comments

Comments
 (0)