Docs changes for integrating into thesis

Author: michaelballantyne

.gitignore

@@ -4,3 +4,4 @@
 tests/dsls/js/package-lock.json
 tests/dsls/js/node_modules
 doc/
+tex/

scribblings/common.rkt

@@ -2,7 +2,7 @@
 
 (provide (all-defined-out))
 
-(require scribble/manual)
+(require scribble/manual scriblib/render-cond scribble/core)
 
 (define (tech/reference str)
   (tech #:doc '(lib "scribblings/reference/reference.scrbl") str))
@@ -14,4 +14,10 @@
   (seclink sec #:doc '(lib "scribblings/reference/reference.scrbl") str))
 
 (define (seclink/guide sec str)
-  (seclink sec #:doc '(lib "scribblings/guide/guide.scrbl") str))
+  (seclink sec #:doc '(lib "scribblings/guide/guide.scrbl") str))
+
+
+(define (mk-exact . items)
+  (cond-element
+    [latex (make-element (make-style #false '(exact-chars)) items)]
+    [else ""]))

scribblings/reference/specifying.scrbl

@@ -24,6 +24,8 @@ The following subsections address each kind of declaration allowed within the
 
 
 @section{Binding classes}
+@mk-exact["\\label{doc:binding-classes}"]
+
 
 @deftech{Binding classes} distinguish types of binding. When a reference resolves to a
 binder, it is an error if the binding class declared for the reference position

scribblings/tutorial/main.scrbl

@@ -2,7 +2,7 @@
 
 @(require (for-label racket))
 
-@title[#:style '(toc unnumbered)]{Tutorial}
+@title[#:style '(toc)]{Tutorial}
 
 The tutorial is broken down into illustrative examples: