diff options
Diffstat (limited to 't/man.sh')
| -rw-r--r-- | t/man.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/t/man.sh b/t/man.sh new file mode 100644 index 000000000..46f9c676b --- /dev/null +++ b/t/man.sh @@ -0,0 +1,33 @@ +#! /bin/sh +# Copyright (C) 1996-2017 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2, or (at your option) +# any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <https://www.gnu.org/licenses/>. + +# Test to make sure 'dist' prefix works with man pages. + +. test-init.sh + +cat > Makefile.am << 'END' +dist_man_MANS = foo.1 +nodist_man1_MANS = bar.man +END + +: > foo.1 +: > bar.man + +$ACLOCAL +$AUTOMAKE +grep '^MANS *=' Makefile.in + +: |