This repository contains the source for https://www.poliastro.space/.

Based on the wonderful job by Jake Vanderplas https://github.com/jakevdp/jakevdp.github.io-source (MIT License)

poliastro website CI

Building the website

Clone the repository & make sure submodules are included

$ git clone https://github.com/poliastro/poliastro.github.io-source.git
$ git submodule update --init --recursive

(Activate the python virtual environment before proceeding)

Install the required packages using pip install -r requirements.txt

Build the html and serve locally:

$ make html
$ make serve
$ open http://localhost:8000

Deploy to github pages

$ make publish-to-github

Development

To regenerate the main CSS:

$ lessc main.less > main.css