Commit e1e1d0ac9ce561a47e3e118441c2ffea9ea47859

Stefan Sperling 2019-08-09T00:23:09

fix man page directory setting in Makefile release mode