diff default_options.h @ 1718:72bb7fb1fced

Fix "make install" for manpages in out-of-tree builds
author Gabor Z. Papp <gzp@papp.hu>
date Mon, 15 Jun 2020 23:17:27 +0800
parents c0f12eaf95c9
children d529a52b2f7c 42745af83b7d
line wrap: on
line diff