Skip to content

Commit

Permalink
Merge pull request #1 from ThomasBreuer/TB_install
Browse files Browse the repository at this point in the history
preliminary fix in `makedoc.g`
  • Loading branch information
danielrademacher authored Jun 19, 2024
2 parents f2b49f5 + e5e2bd7 commit 1aa2941
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion makedoc.g
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ if fail = LoadPackage("AutoDoc", ">= 2019.07.03") then
ErrorNoReturn("AutoDoc 2019.07.03 or newer is required");
fi;

Read("regen_doc.g");
Read(Filename(DirectoryCurrent(), "regen_doc.g"));

scan_dirs := [
"doc",
Expand Down

0 comments on commit 1aa2941

Please sign in to comment.