diff doc/make.bat @ 443:6cef8aa1c991

doc: add missing `pip install -e .`
author Goffi <goffi@goffi.org>
date Fri, 19 Mar 2021 22:03:42 +0100
parents 105a0772eedd
children
line wrap: on
line diff