Actually, that's a good one. Thanks. We should generate it always with meta comments and rip them out for what is on our webpage.
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Oliver Kullmann Sent: Tuesday, June 10, 2008 8:38 PM To: Guido Tack Cc: [EMAIL PROTECTED] Subject: Re: [gecode-users] implementing branching heuristics On Mon, Jun 09, 2008 at 10:41:41PM +0200, Guido Tack wrote: > Oliver Kullmann wrote: > >P.S. Regarding the documentation one finds the statement: > > > >"We kindly ask that documentation is not installed anywhere in such > >a way that it will be indexed by search engines." > > > >I wonder what is the reason for this? Actually, it creates a problem > >for my system, since the complete documentation is mirrored on the > >Internet, and I make available also all documentation of external > >sources installed by the OKlibrary, and this should include Gecode. > >Would it be enough if on the main page which links to the > >documentation > >I set the meta-tags to "no search engines"? > > Yes, that should do. > Just an idea: The html-documentation you distribute could have already every page with the meta-tags set. This would prevent some accidental mistakes. Now sensitised to the issue (it didn't occur to me before), if I take some action (for my *own* library, and my own documentation), then I'll introduce a switch such that by default every web-page has the meta-tags set appropriately (on the user-side). With doxygen this should be quite easy to do, and for the other web-pages I have a little m4-based "content management system". Just to mention; thanks for the reply. Oliver -- Dr. Oliver Kullmann Computer Science Department Swansea University Faraday Building, Singleton Park Swansea SA2 8PP, UK http://cs.swan.ac.uk/~csoliver/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
