git: openjdk/amber-docs: Update publishing infra; update index to match existing project page; swap md -> html in links

duke duke at openjdk.java.net
Thu May 13 20:43:27 UTC 2021


Changeset: 8de720a8
Author:    briangoetz <brian at briangoetz.com>
Date:      2021-05-13 16:42:19 +0000
URL:       https://git.openjdk.java.net/amber-docs/commit/8de720a8174f1af86351c27aeb988cfe2c5a9e94

Update publishing infra; update index to match existing project page; swap md -> html in links

+ .github/workflows/publish.yaml
! .gitignore
! Makefile
+ etc/footer.html
= etc/style.css
! site/design-notes/extending-switch-for-patterns.md
! site/design-notes/pattern-match-object-model.md
! site/design-notes/pattern-match-semantics.md
! site/design-notes/pattern-matching-for-java.md
! site/design-notes/type-patterns-in-switch.md
! site/index.md



More information about the amber-dev mailing list