the man pages being uninstalled, if needed.
+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
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; \