New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/34730#issuecomment-1003045884

Comment:
also `make -C doc/manual info` saves the cd call.