Re: robots.txt in git and online are not the same

2013-07-01 Thread Phil Holmes
- Original Message - From: Mark Polesky markpole...@yahoo.com To: Phil Holmes m...@philholmes.net; bug-lilypond@gnu.org Sent: Sunday, June 30, 2013 10:45 PM Subject: Re: robots.txt in git and online are not the same Sorry, I'm having trouble with my email client. My last post got

Re: robots.txt in git and online are not the same

2013-06-30 Thread Mark Polesky
If robots.txt was getting updated properly, all of our Google search bar problems would be solved.  We could then stop telling Google to restrict the search results to a patrticular version from the search box itself.  The robots.txt file only allows the current stable docs to be indexed.   If

Re: robots.txt in git and online are not the same

2013-06-30 Thread Phil Holmes
Mark Polesky markpole...@yahoo.com wrote in message news:1372597112.8599.yahoomail...@web181401.mail.ne1.yahoo.com... If robots.txt was getting updated properly, all of our Google search bar problems would be solved. We could then stop telling Google to restrict the search results to a

Re: robots.txt in git and online are not the same

2013-06-30 Thread Mark Polesky
Phil Holmes wrote: If robots.txt was getting updated properly, all of our Google search bar problems would be solved. We could then stop telling Google to restrict the search results to a patrticular version from the search box itself. The robots.txt file only allows the current stable docs

Re: robots.txt in git and online are not the same

2013-06-30 Thread Mark Polesky
Sorry, I'm having trouble with my email client. My last post got munged. Trying again, hope it works, bear with me... Phil Holmes wrote: If robots.txt was getting updated properly, all of our Google search bar problems would be solved. We could then stop telling Google to restrict the search