From e723bbde9b0634c06e511b3980b47982121d4924 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Fri, 12 Apr 2019 08:41:10 -0700
Subject: [PATCH] Fix attribute redirects.

When these pages were moved during the PR changes, I forgot to update the redirects.
---
 src/attributes-redirect.html | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/attributes-redirect.html b/src/attributes-redirect.html
index 490db9c29..a0548cc49 100644
--- a/src/attributes-redirect.html
+++ b/src/attributes-redirect.html
@@ -1,22 +1,22 @@
 <script>
 (function() {
     var fragments = {
-        "#cold-attribute": "codegen.html#the-cold-attribute",
+        "#cold-attribute": "attributes/codegen.html#the-cold-attribute",
         "#conditional-compilation": "conditional-compilation.html",
-        "#deprecation": "diagnostics.html#the-deprecated-attribute",
+        "#deprecation": "attributes/diagnostics.html#the-deprecated-attribute",
         "#derive": "attributes/derive.html",
         "#documentation": "../rustdoc/the-doc-attribute.html",
         "#ffi-attributes": "attributes.html#built-in-attributes-index",
-        "#inline-attribute": "codegen.html#the-inline-attribute",
-        "#lint-check-attributes": "diagnostics.html#lint-check-attributes",
+        "#inline-attribute": "attributes/codegen.html#the-inline-attribute",
+        "#lint-check-attributes": "attributes/diagnostics.html#lint-check-attributes",
         "#macro-related-attributes": "attributes.html#built-in-attributes-index",
         "#miscellaneous-attributes": "attributes.html#built-in-attributes-index",
-        "#must_use": "diagnostics.html#the-must_use-attribute",
-        "#optimization-hints": "codegen.html#optimization-hints",
+        "#must_use": "attributes/diagnostics.html#the-must_use-attribute",
+        "#optimization-hints": "attributes/codegen.html#optimization-hints",
         "#path": "items/modules.html#the-path-attribute",
         "#preludes": "crates-and-source-files.html#preludes-and-no_std",
-        "#testing": "testing.html",
-        "#tool-lint-attributes": "diagnostics.html#tool-lint-attributes",
+        "#testing": "attributes/testing.html",
+        "#tool-lint-attributes": "attributes/diagnostics.html#tool-lint-attributes",
         "#crate-only-attributes": "attributes.html#built-in-attributes-index",
     };
     var target = fragments[window.location.hash];