Template for websites and documentation pages in the style of jasr4j.github.io
Racket (> 8.1), Raco, Bash, wget, unzip
Download the zip file for the template and unzip the folder:
$ wget https://raw.githubusercontent.com/jasr4j/docs-template/main/docs.zip
$ unzip docs.zip
Run the following in the repo in which the template should be placed:
This will clone the template to a new folder in the repo called docs/
$ git clone https://github.com/jasr4j/docs-template.git
$ cd docs-template
$ mv docs ..
$ cd .. && rm -rf docs-template
Install Pollen (Update if needed):
$ sudo raco pkg install pollen
Write markdown into the info.html.pmd file (KEEP THE "#lang pollen" in the first line)
$ chmod +x compile.sh
$ ./compile.sh
Run locally at port 8080 by default (by clicking on the index.html file)
Deploy on GitHub Pages or GitLab Pages (they will use the index.html file as the file to render at username.github.io/project/)
Tested on Racket 8.7 (Debian 12)
Used Pollen v3.2
This is mobile and desktop friendly
Example of this template: GitHub pages for this repo
After headings like "# Heading" or "## Heading 2", you should add a "<br>" statement