diff options
| author | Christian Persch <chpe@src.gnome.org> | 2022-12-16 19:07:52 +0100 |
|---|---|---|
| committer | Christian Persch <chpe@src.gnome.org> | 2022-12-16 19:07:52 +0100 |
| commit | eed14f489c18c46d6ab67644780840c061b3f0a4 (patch) | |
| tree | c1fe538a75d5109cf6d2193beb85e9bfcf90749a /man | |
| parent | 0efd23f99f2d8667063c5b388dbc34df2bffc37f (diff) | |
| download | gnome-terminal-eed14f489c18c46d6ab67644780840c061b3f0a4.tar.gz | |
build: Use built-in mandir option
Diffstat (limited to 'man')
| -rw-r--r-- | man/meson.build | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/man/meson.build b/man/meson.build index 12a285f1..845b87b1 100644 --- a/man/meson.build +++ b/man/meson.build @@ -13,7 +13,6 @@ # You should have received a copy of the GNU General Public License # along with this programme. If not, see <https://www.gnu.org/licenses/>. -gt_mandir = gt_datadir / 'man' man1dir = gt_mandir / 'man1' man1 = custom_target( |