search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

Feture request: Change assets path #90

Open cschmitt-mpi opened 1 year ago

cschmitt-mpi commented 1 year ago

Hi all,

I'm new in alectyron, so I'm hoping that anyone can answer my question.

Is there are way to replace IBM_PLEX_CDN and FIRA_CODE_CDN if I'm running the CLI to generate html files?

E.g.: alectryon --frontend coq+rst --backend webpage copy code/code.v -o code.html

Background, we need to use local versions of stylesheets and do not include external resources.

I found the variables defined here: alectryon/html.py

And all I can think about yet is to set up a fork and modify this.

But I'm wondering if there’s an easier way, and I'm missing something.

Thanks, CArina

cpitclaudel commented 1 year ago

Hi CArina , welcome to Alectryon :)

No need to form; what you want for customized output is a "custom driver", as documented here: https://github.com/cpitclaudel/alectryon#with-a-custom-driver

You can just import the relevant packages, set these two variables, and then call main. Let me know if you run into trouble!