PR #54445 Fix docs builds when not in Git tree

Fix docs builds when not in Git tree #54445

fredrikekre merged 1 commit into JuliaLang:master from mortenpi:mp/fix-docs-nongit

Fix docs builds when not in Git tree

40b3bade

DilumAluthge requested a review from

staticfloat 1 year ago

fredrikekre merged 2f920155 into master 1 year ago

mortenpi deleted the mp/fix-docs-nongit branch 1 year ago

Reviewers

staticfloat

Assignees

No one assigned

Labels

None yet

Milestone

No milestone