This repository has been archived by the owner on Jul 3, 2024. It is now read-only.
doc: fix an error if the doc is not generated from github#598
Open
sbourdelin wants to merge 1 commit intosifive:masterfrom sbourdelin:fix-doc
+11-1
