jkt 06/10/20 21:43:37 Modified: prelink-howto.xml Log: the actual number differs among KDE releases, sorry for noise
Revision Changes Path 1.42 xml/htdocs/doc/en/prelink-howto.xml file : http://sources.gentoo.org/viewcvs.py/gentoo/xml/htdocs/doc/en/prelink-howto.xml?rev=1.42&view=markup plain: http://sources.gentoo.org/viewcvs.py/gentoo/xml/htdocs/doc/en/prelink-howto.xml?rev=1.42&content-type=text/plain diff : http://sources.gentoo.org/viewcvs.py/gentoo/xml/htdocs/doc/en/prelink-howto.xml?r1=1.41&r2=1.42 Index: prelink-howto.xml =================================================================== RCS file: /var/cvsroot/gentoo/xml/htdocs/doc/en/prelink-howto.xml,v retrieving revision 1.41 retrieving revision 1.42 diff -u -r1.41 -r1.42 --- prelink-howto.xml 20 Oct 2006 21:42:09 -0000 1.41 +++ prelink-howto.xml 20 Oct 2006 21:43:37 -0000 1.42 @@ -1,5 +1,5 @@ <?xml version='1.0' encoding="UTF-8"?> -<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/doc/en/prelink-howto.xml,v 1.41 2006/10/20 21:42:09 jkt Exp $ --> +<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/doc/en/prelink-howto.xml,v 1.42 2006/10/20 21:43:37 jkt Exp $ --> <!DOCTYPE guide SYSTEM "/dtd/guide.dtd"> <guide link="/doc/en/prelink-howto.xml"> <title>Gentoo Linux Prelink Guide</title> @@ -27,7 +27,7 @@ <license/> -<version>1.15</version> +<version>1.16</version> <date>2006-05-28</date> <chapter> @@ -260,7 +260,7 @@ </p> <p> -Set <c>KDE_IS_PRELINKED="true"</c> in <path>/etc/env.d/45kdepaths-*</path> to +Set <c>KDE_IS_PRELINKED="true"</c> in <path>/etc/env.d/*kdepaths*</path> to inform KDE about the prelinking. </p> -- [email protected] mailing list
