diff --git a/packages/patrol/.gitignore b/packages/patrol/.gitignore
index 5010eee06..559d871a5 100644
--- a/packages/patrol/.gitignore
+++ b/packages/patrol/.gitignore
@@ -4,6 +4,8 @@
 
 # Conventional directory for build outputs.
 build/
+# DevTools extension code that must go with the package to pub.dev.
+!extension/devtools/build/
 
 # Omit committing pubspec.lock for library packages; see
 # https://dart.dev/guides/libraries/private-files#pubspeclock.
diff --git a/packages/patrol/extension/devtools/.pubignore b/packages/patrol/extension/devtools/.pubignore
deleted file mode 100644
index dcecfeb90..000000000
--- a/packages/patrol/extension/devtools/.pubignore
+++ /dev/null
@@ -1 +0,0 @@
-!./build
\ No newline at end of file