* 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 eb9407a91363edca574ea3d5986331000e500e0a..3631d16b3bafd1a6e391819795ba5bf7f115d6c7 100644 (file)
--- 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 9be711a9f437c793ce5cdad3066a3e6a7415f574..7e3b5ed68106432a44f3e8a6314dea7819786481 100644 (file)
--- 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; \