Use correct name for objects.inv

stevepiercy · stevepiercy · commit 2c413cf4ebfb · 2022-01-21T01:54:48.000-08:00
diff --git a/docs/robots.txt b/docs/robots.txt
@@ -4,4 +4,4 @@ Disallow: /_sources/
 Disallow: /.doctrees/
 Disallow: /*.txt$
 Disallow: /.buildinfo$
-Disallow: /.objects.inv$
+Disallow: /objects.inv$
