setup: use share/man/man1 for man1 (!111) · Merge requests · jvoisin / mat2 · GitLab

Rui Chen requested to merge chenrui/mat2:master into master Aug 02, 2023

use share/man/man1 for man files to conform GNU layout, https://www.gnu.org/software/make/manual/html_node/Directory-Variables.html#prefix

relates to https://github.com/Homebrew/homebrew-core/pull/138356

Edited Aug 02, 2023 by Rui Chen