scribble：如何删除＆＃34;警告没有声明的导出库＆＃34;

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].
}