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
- some versions of macOS don't come with the `realpath` command
- if no error was raised whilst building a target, `make` blindly continues
following subsequent rules (see https://stackoverflow.com/q/55424550),
regardless of whether the requested dependency was actually created! So raise
an error if `make docs` doesn't actually create the expected directory
(which happens if `doxygen` isn't installed)
0 commit comments