fixes in build for wfdb-10.5.23

in the case of a no-docs build, need to add another target to make
`make` happy