-
Karl Wette authored
- Ensures only distributed files are included in documentation - Building distribution directory will also build generated files Original: 88a88c0a0d368e6b65f161f940d2fdfc9660029f
1ac53274
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 30 April 2024 starting at approximately 9am PDT. It is expected to take around twenty minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
- Ensures only distributed files are included in documentation - Building distribution directory will also build generated files Original: 88a88c0a0d368e6b65f161f940d2fdfc9660029f