So, we are currently working on a new version of the Stacks project website. If you have any suggestions for the new website, please get in touch: you can email me, or use the issue tracker for the website on GitHub. The project is called Gerby, as a silly reference to the Stacks project. It consists of several parts, and this blog post explains you how to use one of them: the Gerby renderer in plasTeX.
Also, if you want to set up your own Stacks project-like website, the new system will be much more compatible with other texts, so you can contact me if you are interested in doing this.
Right now we are still quite far from replacing the current website. But the most complicated part is in some sense over: we can
- split the TeX file according to all the different tags
- convert this to HTML in a much more robust way than before
We are now using plasTeX for this, a Python library which was originally written for converting the SAS documentation written in TeX to various formats. Below you can find the instructions for running the Gerby renderer on the Stacks project, and see for yourself how it works.
Instructions on running the Gerby renderer
To get plasTeX up and running:
git clone https://github.com/pbelmans/plastex.git
git checkout gerbyin the repository
pip3 install --editable .in the repository directory (or your preferred method of installing Python scripts)
To run it on the Stacks project (this part will become easier in the future)
git clone https://github.com/stacks/stacks-project.git
make tags/tmp/book.texin the repository (this creates a single buildable TeX file of the Stacks project)
change the preamble of
- the document class should be book, i.e. replace the first few lines by
- remove (this is optional)
- add at the end of the preamble
You will have to redo this each time you run
ln -s tags/tags tags/tmp/tagsin the repository
You should now be ready to run plasTeX: run
plastex --renderer=Gerby book.tex in the directory
Now you can go for a walk. After 30 minutes (give or take, depending on your computer) you will have a directory
tags/tmp/book containing several tens of thousands small files containing HTML. Congratulations! Next time I'll tell you what to do with these.
The only thing you need to run this on your own project is a tags file. This is a text file linking tags to labels. You must create one yourself, because the system only generates files for tags.
Be aware of the following:
- remove the package
amsthm, it makes plasTeX very confused
That's it for now, I'll add remarks as I think of them.