diff --git a/collects/profile/scribblings/profile.scrbl b/collects/profile/scribblings/profile.scrbl
index e07a7b4..cf50723 100644
--- a/collects/profile/scribblings/profile.scrbl
+++ b/collects/profile/scribblings/profile.scrbl
@@ -23,3 +23,4 @@ limits.
 @include-section["sampler.scrbl"]
 @include-section["analyzer.scrbl"]
 @include-section["renderers.scrbl"]
+@include-section["contract-profile.scrbl"]