diff doc/make.bat @ 4179:3b95704ab777

core: fix path in `get_local_path`: `local_dir` was not used in final path, resulting in workind dir used instead or actual local path.
author Goffi <goffi@goffi.org>
date Sat, 09 Dec 2023 14:05:02 +0100
parents ce16847a7b6d
children
line wrap: on
line diff