FilesExpand file tree

 master

/

publish-gh-pages

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

executable file

·

24 lines (24 loc) · 658 Bytes

 master

/

publish-gh-pages

Copy path

Top

File metadata and controls

• Code
• Blame

executable file

·

24 lines (24 loc) · 658 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

#!/usr/bin/env bash

# https://cirosantilli.com/linux-kernel-module-cheat#github-pages

set -eu

git push

./build-doc --github-pages

git checkout gh-pages

git checkout master -- \

.gitignore \

'*.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 --allow-empty --message "$(git log -n1 --pretty='%H' master)"

git push -f

git checkout -