Re: Something broke "make html" and "make man"

On 03/01/2022 21.33, Thomas Huth wrote:  Hi! "make html" and "make man" do not work anymore: $ make help | grep -B1 html Documentation targets:   html man  - Build documentation in specified format $ make html   GIT ui/keycodemapdb meson tests/fp/berkeley-testfloat-3 tests/

Something broke "make html" and "make man"

Hi! "make html" and "make man" do not work anymore: $ make help | grep -B1 html Documentation targets: html man - Build documentation in specified format $ make html GIT ui/keycodemapdb meson tests/fp/berkeley-testfloat-3 tests/fp/berkeley-softfloat-3 dtc capstone slirp