Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
doc: allow building the manual when package is not in GAP root dir
By adding SetPackagePath("SingularInterface", "."); to makedoc.g, the script becomes more robust and works correctly even if SingularInterface is not currently in a pkg dir visible to GAP.
- Loading branch information