diff --git a/pkg/pub_integration/lib/script/publishing.dart b/pkg/pub_integration/lib/script/publishing.dart
index f79809aded..4e53e4828a 100644
--- a/pkg/pub_integration/lib/script/publishing.dart
+++ b/pkg/pub_integration/lib/script/publishing.dart
@@ -210,7 +210,16 @@ class PublishingScript {
if (!pageHtml.contains('made with love by dartdoc')) {
throw Exception('Documentation page is not the output of dartdoc.');
}
- if (!pageHtml.contains('')) {
+ final retryLinks = [
+ // generated by dartdoc 8.3
+ 'retry',
+ // maybe a future dartdoc will generate this
+ // see https://github.com/dart-lang/dartdoc/issues/3936
+ 'retry',
+ // generated by dartdoc 8.1
+ 'retry',
+ ];
+ if (!retryLinks.any(pageHtml.contains)) {
throw Exception('Documentation page does not contain main library.');
}
}