PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
170 stars 28 forks source link

Create `docs` folder only if it's not already present #35

Closed pitmonticone closed 3 months ago

pitmonticone commented 3 months ago

This PR introduces a conditional check to the mkdir docs command in the "Build blueprint and copy to docs/blueprint" step of the blueprint.yml file. The change ensures that the docs directory is created only if it does not already exist.