diff --git a/HalideIR b/HalideIR
index 326e2fa18734..30a85d860567 160000
--- a/HalideIR
+++ b/HalideIR
@@ -1 +1 @@
-Subproject commit 326e2fa18734f0592d257da6b8cfaae90a499c5c
+Subproject commit 30a85d860567aa30d013a5e75fbd1b0ee2ebe93c
diff --git a/docs/Doxyfile b/docs/Doxyfile
index 8c93832e321f..87e7da7043e5 100644
--- a/docs/Doxyfile
+++ b/docs/Doxyfile
@@ -753,7 +753,7 @@ WARN_LOGFILE           =
 # spaces.
 # Note: If this tag is empty the current directory is searched.
 
-INPUT                  = include/tvm
+INPUT                  = include/tvm topi/include/topi
 
 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses
@@ -816,7 +816,7 @@ EXCLUDE_PATTERNS       = */test/* \
 # Note that the wildcards are matched against the file with absolute path, so to
 # exclude all test directories use the pattern */test/*
 
-EXCLUDE_SYMBOLS        =
+EXCLUDE_SYMBOLS        = std topi::detail tvm::runtime::detail
 
 # The EXAMPLE_PATH tag can be used to specify one or more files or directories
 # that contain example code fragments that are included (see the \include