Allow docs/make.jl to be run from the root of the repo#465
Allow docs/make.jl to be run from the root of the repo#465MarkNahabedian wants to merge 1 commit intoJuliaCI:masterfrom
Conversation
…y from the docs directory add the repo root to LOAD_PATH so that docs/make.jl can be run from the repo root as well as from the docs directory.
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #465 +/- ##
===========================================
- Coverage 94.33% 77.46% -16.88%
===========================================
Files 24 24
Lines 742 741 -1
===========================================
- Hits 700 574 -126
- Misses 42 167 +125 ☔ View full report in Codecov by Sentry. |
|
I am not sure about this. I am much more used to doing Or not checking in the manifest and doing that just prior to building. |
|
Also this changes the global Julia state following docs build which is not ideal |
|
My goal is that the current directory not affect the running of docs/make.jl. I guess it might make more sense to do instead. As for affecting global Julia state, my admittedly inelastic mind can't forsee a circumstance wehre make.jl is run from other than a stand-alone Julia session created solely for that purpose. Please enlighten me. |
Add the repo root to LOAD_PATH so that docs/make.jl can be run from the repo root as well as from the docs directory.