The website is built using the hugo static site generator tool: https://gohugo.io/ . It uses the off-the-shelf theme hugo-geekdoc: https://github.com/thegeeklab/hugo-geekdoc . Content is contained in content/, you shouldn't(TM) have to edit the rest.
To work on it locally:
- If you are not on Linux, uncomment the appropriate line in
setup-build-envto download the executable for your OS/architecture. - Run
./setup-build-envto fetch hugo and the theme. You should maybe do this semiregularly in case we update the version of hugo we use. - OPTIONAL: Run
./make-docsin your silver install, then run./fetch-docswith the env varDOCPATHset to the generated folder of docs. E.g.DOCPATH=../silver/generated/doc/ ./fetch-docs. - Run
serve-siteto run a local webserver serving the site