From 3d40e770ef591b8d994cfc034b99eaff4e068321 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 5 Mar 2014 10:33:35 -0700 Subject: [PATCH] scribble/render: fix contract on `render` to include #:warn-undefined? original commit: fb20706213dc5ece7894afff46763428bee346f0 --- pkgs/scribble-pkgs/scribble-lib/scribble/render.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/render.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/render.rkt index 0d802f28..4da1a81f 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/render.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/render.rkt @@ -25,7 +25,8 @@ #:xrefs (listof xref?) #:info-in-files (listof path-string?) #:info-out-file (or/c #f path-string?) - #:quiet? any/c) + #:quiet? any/c + #:warn-undefined? any/c) . ->* . void?)]) (define (render docs