| 2024-03-11 13:18:12 |
Galen Charlton |
description |
generate_docs.pl currently breaks if you run it from a directory other than docs/ in the source tree.
Whether that's a problem per se is debatable, but I think it should either:
- exit with an error message if it run from another directory
- be changed so that it can run from any directory |
generate_docs.pl currently breaks if you run it from a directory other than docs/ in the source tree.
Whether that's a problem per se is debatable, but I think it should either:
- exit with an error message if it is run from another directory
- be changed so that it can run from any directory |
|
