diff options
| author | Alexandre Duret-Lutz <adl@gnu.org> | 2002-04-13 21:48:35 +0000 |
|---|---|---|
| committer | Alexandre Duret-Lutz <adl@gnu.org> | 2002-04-13 21:48:35 +0000 |
| commit | a8635b12bdb0992ede3b15d49774f082d1005651 (patch) | |
| tree | 0d094cbc9029532dff207dd9bea84cfa5daf8240 /lib/am/mans.am | |
| parent | c9c536afe3a3e05524731d111634952148678af1 (diff) | |
| download | automake-a8635b12bdb0992ede3b15d49774f082d1005651.tar.gz | |
* tests/man2.test: New file.
* tests/Makefile.am (TESTS): Add man2.test.
* lib/am/mans.am (install-man%SECTION%): Change the extension
of the man pages being installed, as documented.
Diffstat (limited to 'lib/am/mans.am')
| -rw-r--r-- | lib/am/mans.am | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/am/mans.am b/lib/am/mans.am index 21838e97d..b6fa21aa5 100644 --- a/lib/am/mans.am +++ b/lib/am/mans.am @@ -46,9 +46,14 @@ install-man%SECTION%: $(man%SECTION%_MANS) $(man_MANS) ## Find the file. if test -f $(srcdir)/$$i; then file=$(srcdir)/$$i; \ else file=$$i; fi; \ +## Change the extension if needed. + ext=`echo $$i | sed -e 's/^.*\\.//'`; \ + case "$$ext" in \ + %SECTION%*) ;; \ + *) ext='%SECTION%' ;; \ + esac; \ ## Extract basename of man page and run it through the program rename ## transform. - ext=`echo $$i | sed -e 's/^.*\\.//'`; \ inst=`echo $$i | sed -e 's/\\.[0-9a-z]*$$//'`; \ inst=`echo $$inst | sed -e 's/^.*\///'`; \ inst=`echo $$inst | sed '$(transform)'`.$$ext; \ |