You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2021/10/29 18:28:26 UTC

[GitHub] [tvm] hogepodge commented on a change in pull request #9394: [docs][bug] Add redirects for moved pages

hogepodge commented on a change in pull request #9394:
URL: https://github.com/apache/tvm/pull/9394#discussion_r739451842



##########
File path: docs/redirects.data
##########
@@ -0,0 +1,272 @@
+[

Review comment:
       I put all of the redirects into one file to keep it localized. I resorted to some anonymous function trickery because I was depending on some paths defined in conf, and had to add the docs directory to the pythonpath since a relative import wouldn't work.




-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org