You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not certain, but I think this is because the official tarballs have the manual pre-built, so as long as you didn't change anything you should be fine without xmllint. Would be nice if it failed early when building from git though
$ make
Makefile:27: Makefile.config: No such file or directory
GEN Makefile.config
GEN doc/manual/manual.xmli
make: *** [doc/manual/manual.xmli] Error 1
Nix fails to build if xmllint is unavailable, but
configure
does not complain about missing xmllint. It just sets it tofalse
:The text was updated successfully, but these errors were encountered: