make: Add serve-gh-pages target

As github pages is served not on root but /go-org/ we need to move everything
into a subdirectory of that name when serving locally
This commit is contained in:
Niklas Fasching 2022-05-30 17:26:52 +02:00
parent 67951ec664
commit f8b8e73722
2 changed files with 7 additions and 3 deletions

View file

@ -124,7 +124,8 @@ convert="<html>
</body>
</html>"
mkdir -p docs
rm -rf docs
mkdir docs
go get github.com/chaseadamsio/goorgeous
cp etc/_goorgeous.go docs/goorgeous.go
go build -o docs/goorgeous docs/goorgeous.go
@ -147,14 +148,12 @@ for org_file in $org_files; do
</div>"
done
go_org_vs_goorgeous_examples+="</body></html>"
rm docs/goorgeous docs/goorgeous.go
echo "$index" > docs/index.html
echo "$convert" > docs/convert.html
echo "$go_org_vs_goorgeous_examples" > docs/go-org-vs-goorgeous.html
cp etc/_wasm.go docs/wasm.go
GOOS=js GOARCH=wasm go build -o docs/main.wasm docs/wasm.go
rm docs/wasm.go
cp $(go env GOROOT)/misc/wasm/wasm_exec.js docs/wasm_exec.js
mkdir -p docs/blorg