> > Prohibiting indexing requires that we change all html files of older versions > (using one of the meta tags at the top of an HTML file), or placing a > robots.txt file into these directories. That requires access to the web
I think you can forbid indexing robots from going into directories trees In a single the root robots.txt. Regards, Denis -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii-developers+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
