Closed mr-c closed 3 years ago
Thanks, but I think this PR has no effect, because man1ext
appears to be unused in our top-level Makefile.in
. Can you explain more what you're trying to do, and why you've not made the same change in documentation/man/Makefile.in
, and why your proposed change doesn't break the install
command there?
install:
for file in ${MANS}; do \
${INSTALL} -m 0664 $$file.man ${DESTDIR}${man1dir}/$${file}${man1ext} ;\
done
@cryptogenomicon this is an old path from the Debian package. It might not be relevant any more. Thanks for reviewing!
A patch from the Debian package for hmmer