Deploy the website locally

Deducteam / Logipedia

An encyclopedia of proofs

57 stars 11 forks source link

Deploy the website locally #32

Closed francoisthire closed 4 years ago

francoisthire commented 4 years ago

Where can I find instructions to deploy the website locally? It seems to have instructions on logigen/README.md . A link is missing from the README at the top level.

Apparently, files are in docs.