From dc4f6d4466c4f0c5a37a869920027c899b6b992c Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Fri, 23 Sep 2016 17:01:27 -0400
Subject: [PATCH] add separate doc-utils file

---
 turnstile/scribblings/doc-utils.rkt | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 turnstile/scribblings/doc-utils.rkt

diff --git a/turnstile/scribblings/doc-utils.rkt b/turnstile/scribblings/doc-utils.rkt
new file mode 100644
index 0000000..91efaec
--- /dev/null
+++ b/turnstile/scribblings/doc-utils.rkt
@@ -0,0 +1,5 @@
+#lang racket/base
+(require scribble/manual)
+(provide (all-defined-out))
+(define-syntax-rule (label-code lab code)
+  (filebox (tt lab) code))
\ No newline at end of file