[libstdc++] Rename standard headers

[Phil Edwards]

aoliva wrote:
> > +	  @LN_S@ $$h ./$${official_name || true} ;\
>
> This can't be right.  Perhaps you meant this?
>
> > +	  @LN_S@ $$h ./$$official_name || true ;\

Yes, of course... and that's what I have locally, since the bootstrap
worked.... that's bizarre.



2002-01-11  Phil Edwards  <pme@gcc.gnu.org>

	* include/Makefile.am, include/Makefile.in (stamp-std):  Fix typo from
	previous commit.


Index: include/Makefile.am
===================================================================
RCS file: /cvs/gcc/gcc/libstdc++-v3/include/Makefile.am,v
retrieving revision 1.23
diff -u -3 -p -r1.23 Makefile.am
--- Makefile.am	2002/01/12 00:50:03	1.23
+++ Makefile.am	2002/01/12 01:41:11
@@ -256,7 +256,7 @@ stamp-std: ${std_headers}
 	fi ;\
 	(cd ${std_builddir} && for h in $?; do \
 	  official_name=`echo $$h | sed -e 's,.*/std_,,' -e 's,\.h$$,,'` ;\
-	  @LN_S@ $$h ./$${official_name || true} ;\
+	  @LN_S@ $$h ./$${official_name} || true ;\
 	done) ;\
 	echo `date` > stamp-std