From: Alexandre Duret-Lutz <adl@gnu.org>
Date: Wed, 4 Dec 2002 17:37:12 +0000 (+0000)
Subject: * lib/am/mans.am (uninstall-man%SECTION%): Change the extension of
X-Git-Tag: Release-1-7-2b~73
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=74d579f465dc72af5d49ecb3a3566b27001a8623;p=thirdparty%2Fautomake.git

* lib/am/mans.am (uninstall-man%SECTION%): Change the extension of
the man pages being uninstalled, if needed.
---

diff --git a/ChangeLog b/ChangeLog
index eb9407a91..3631d16b3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2002-12-03  Nicolas Joly  <njoly@pasteur.fr>
+
+	* lib/am/mans.am (uninstall-man%SECTION%): Change the extension of
+	the man pages being uninstalled, if needed.
+
 2002-12-03  Alexandre Duret-Lutz  <adl@gnu.org>
 
 	* automake.in (macro_define): Do not strip escaped new lines
diff --git a/lib/am/mans.am b/lib/am/mans.am
index 9be711a9f..7e3b5ed68 100644
--- a/lib/am/mans.am
+++ b/lib/am/mans.am
@@ -83,9 +83,14 @@ uninstall-man%SECTION%:
 	  esac; \
 	done; \
 	for i in $$list; do \
+## 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; \