Enable documentation building in info.rkt.

ROS-ROBOT-SERIES · Mar 23, 2016 · 8ed0759 · 8ed0759
1 parent 18a21e0
commit 8ed0759
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 12 deletions.
diff --git a/rosette/doc/guide/scribble/forms/rosette-forms.scrbl b/rosette/doc/guide/scribble/forms/rosette-forms.scrbl
@@ -6,7 +6,7 @@
            (only-in rosette/query/finitize current-bitwidth)
            (only-in rosette/base/core/safe assert) 
            (only-in rosette/base/core/bool asserts clear-asserts!)
-           (only-in rosette/base/core/bitvector bv?)
+           (only-in rosette/base/base bv?)
            (only-in rosette/base/core/function function?))
           (for-label racket)
           scribble/core scribble/html-properties scribble/eval racket/sandbox

diff --git a/rosette/doc/guide/scribble/rosette-guide.scrbl b/rosette/doc/guide/scribble/rosette-guide.scrbl
@@ -1,10 +1,13 @@
 #lang scribble/manual
 
-@(require (for-label racket) (only-in racket match) scribble/core scribble/html-properties)
+@(require (for-label racket) (only-in racket match)
+           racket/runtime-path (only-in racket build-path)
+           scribble/core scribble/html-properties)
 
+@(define-runtime-path guide.css "util/guide.css")
 @(define guide-style
      (make-style "GuideStyle"
-                 (list (make-css-addition "util/guide.css"))))
+                 (list (make-css-addition guide.css))))
 
 @title[#:style guide-style]{The Rosette Guide}
 @author{Emina Torlak}

diff --git a/rosette/info.rkt b/rosette/info.rkt
@@ -13,15 +13,15 @@
 
 ;;; The format for `scribblings` is documented here:
 ;;;    http://docs.racket-lang.org/raco/setup-info.html
-;(define scribblings
-;  '(("doc/guide/scribble/rosette-guide.scrbl"
-;     ;; Path to the main documentation file
-;     ;; Note: everyone's .scrbl files share the same namespace,
-;     ;;       so a name like `guide.scrbl` conflicts with The Racket Guide.
-;     ()
-;     ;; List of flags for building docs
-;     (experimental))))
-;     ;; Documentation category. On Racket 6.3+ this can be any string.
+(define scribblings
+  '(("doc/guide/scribble/rosette-guide.scrbl"
+     ;; Path to the main documentation file
+     ;; Note: everyone's .scrbl files share the same namespace,
+     ;;       so a name like `guide.scrbl` conflicts with The Racket Guide.
+     (multi-page)
+     ;; List of flags for building docs
+     (experimental))))
+     ;; Documentation category. On Racket 6.3+ this can be any string.
 
 ;; Runs the code in `private/install.rkt` before installing this collection.
 (define pre-install-collection "private/install.rkt")