Makefile.in (piclist): Fix sed command to also accept numbers in filenames.
authorPhilipp Thomas <pthomas@suse.de>
Sun, 8 Oct 2000 03:09:38 +0000 (03:09 +0000)
committerPhilipp Thomas <pthomas@gcc.gnu.org>
Sun, 8 Oct 2000 03:09:38 +0000 (03:09 +0000)
commit1f2758f7a4d22691f18b96e2fc26f27c5d8fe16d
tree36c61d8a32567cfacd57882c8e012a61819f823a
parent7e1cb6b6132835b72fc3af81da033b317b4b06ca
Makefile.in (piclist): Fix sed command to also accept numbers in filenames.

2000-10-08  Philipp Thomas  <pthomas@suse.de>

* Makefile.in (piclist): Fix sed command to also accept
numbers in filenames.

From-SVN: r36785
libstdc++/ChangeLog
libstdc++/Makefile.in