Re: [patch 05/15] remove quotes from shell commandline

Hi Robert,

i think it's because there might be spaces in the path (like windows users=
 like to do ;)

Klaus

> -----Urspr=FCngliche Nachricht-----
> Von: [email protected]
> Gesendet: 12.02.07 08:30:27
> An: [email protected]
> Betreff: [DotGNU] [patch 05/15] remove quotes from shell commandline

I'm not sure any more why this was necessary, so please ignore it as
> long as 'make distcheck' survives without :-)
>=20
> Signed-off-by: Robert Schwebel <[email protected]>
>=20
>  doc/Makefile.am |    2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>=20
> Index: doc/Makefile.am
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> --- doc/Makefile.am.orig
> +++ doc/Makefile.am
> @@ -22,7 +22,7 @@ CVM=5FINPUTS =3D $(top=5Fsrcdir)/engine/cvm.c=20
>               $(top=5Fsrcdir)/engine/cvm=5Fvar.c
> =20
>  cvmdoc/index.html: $(CVM=5FINPUTS) cvmdoc.py
> -	$(SHELL) "$(srcdir)/mkcvmdoc.sh" "$(top=5Fsrcdir)" "$(top=5Fbuilddir)"
> +	$(SHELL) $(srcdir)/mkcvmdoc.sh "$(top=5Fsrcdir)" "$(top=5Fbuilddir)"
> =20
>  clean-local:
>  	rm -rf $(srcdir)/cvmdoc
>=20
> --
>  Dipl.-Ing. Robert Schwebel | http://www.pengutronix.de
>  Pengutronix - Linux Solutions for Science and Industry
>    Handelsregister:  Amtsgericht Hildesheim, HRA 2686
>      Hannoversche Str. 2, 31134 Hildesheim, Germany
>    Phone: +49-5121-206917-0 |  Fax: +49-5121-206917-9
>=20
> =5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F
> Developers mailing list
> [email protected]
> http://dotgnu.org/mailman/listinfo/developers
>=20


=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F
Der WEB.DE SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen!
http://smartsurfer.web.de/=3Fmc=3D100071&distributionid=3D000000000066