From 31f4673477eabe357713f8f95f64c7e4faf5c510 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Tue, 22 Sep 2015 23:25:33 -0400 Subject: [PATCH] Added missing scribble aux defs --- scribblings/defs.rkt | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 scribblings/defs.rkt diff --git a/scribblings/defs.rkt b/scribblings/defs.rkt new file mode 100644 index 0000000..9561986 --- /dev/null +++ b/scribblings/defs.rkt @@ -0,0 +1,10 @@ +#lang racket/base + +(require scribble/base scribble/manual) +(provide (all-defined-out)) + +(define (todo . ls) + (apply margin-note "TODO" ls)) + +(define (gtech . x) + (apply tech x #:doc '(lib "scribblings/guide/guide.scrbl")))