scribble: how to remove "WARNING no declared exporting libraries"

Question

I'm trying to use defproc to format a function definition (not to document a library). The code below gets the formatting right, but prints an ugly warning to the console when I run Scribble:

#lang scribble/manual
@require[(for-label racket/contract)]

@defproc[(f [x integer?]) integer?]{
  The best @racket[f].
}

Running scribble --html example.scrbl prints:

example.scrbl:4:10: WARNING: no declared exporting libraries for definition
  in: f

Is there any way to use defproc for formatting, and remove the error message?

Answer 1

Yes. Add the optional argument #:link-target? #f to communicate your goal.

#lang scribble/manual
@require[(for-label racket/contract)]

@defproc[#:link-target? #f
         (f [x integer?]) integer?]{
  The best @racket[f].
}