will-break-it/Transform Agda HTML Documentation
Transform Agda-generated HTML documentation with modern web features
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| input-dir | Directory containing the HTML files to transform | yes | — |
| output-dir | Directory to output the transformed HTML files (defaults to input-dir for in-place transformation) | no | "" |
| config-file | Path to the agda-docs configuration file | no | agda-docs.config.json |
| back-button-url | URL for the back button (overrides config file) | no | "" |
| modules | Comma-separated list of module prefixes (overrides config file) | no | "" |
| github-url | GitHub repository URL for source links (overrides config file) | no | "" |
| node-options | Node.js options (e.g., --max-old-space-size=4096 for large documentation sets) | no | --max-old-space-size=2048 --expose-gc |
| cache-dependency-path | Path to package-lock.json for npm caching (if not provided, caching will be disabled) | no | "" |
Outputs
| name | description |
|---|---|
| files-processed | Number of HTML files that were processed |
| output-directory | Directory containing the transformed HTML files |