the former are directly written in this repository
the latter are generated with the generate-language script over on the syntax repo
the page files go in ./website/ and then have to be moved to this repo manually...
some ideas
move the generation script over from the syntax repo to here, making the syntax repo dedicated to the syntax itself
use the main branch for scripts and resources
put the real pages and HTML files on a new gh-pages branch
currently, the content of this website is split into two parts:
./index.html
,./styles.css
and./res/
and mainly redirects to external links and the syntax./syntax/
the former are directly written in this repository the latter are generated with the
generate-language
script over on the syntax repo the page files go in./website/
and then have to be moved to this repo manually...some ideas
main
branch for scripts and resourcesHTML
files on a newgh-pages
branchgh-pages
branch onto https://github.com/oberonproject