gendocs.carp

;; Generate documentation for the Dimensions library

(load "dimensions.carp")

(Project.config "title" "dimensions")
(Project.config "docs-directory" "docs/")
(Project.config "docs-styling" "docs.css")
(Project.config "docs-url" "https://carpentry-org.github.io/dimensions/")
(Project.config "docs-prelude" 
  "The dimensions library defines types and functions for working with *sized
  containers*. A sized container contains its size as part of its type
  signature, much as one might encounter in dependently typed programming
  languages.")
(Project.config "docs-generate-index" true)
(Project.config "docs-logo" "dimensions-logo.svg")

(save-docs Index Zero Size Vector Dimensional Hompair)
(quit)