scribble：如何删除“警告没有声明的导出库”

Question

我正在尝试使用 defproc 来格式化函数定义（不是来记录库）。下面的代码格式正确，但在我运行 Scribble 时会向控制台打印一个丑陋的警告：

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

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

运行scribble --html example.scrbl 打印：

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

有没有什么办法可以使用defproc进行格式化，并去掉错误信息？

Answer 1

是的。添加可选参数#:link-target? #f 来传达您的目标。

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

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