Fix link in docs

The broken link showed up as an undefined tag warning for `(tech "comment")` when installing this package.

This seemed like the most straightforward fix, but it's a bit wordy.
pull/16/head
Gregory Toprak 6 years ago committed by Matthew Butterick
parent 1b69e27c44
commit e301210ffb

@ -665,7 +665,7 @@ generates.
@subsection[#:tag "brag-syntax"]{Syntax and terminology}
A program in the @tt{brag} language consists of the language line
@litchar{#lang brag}, followed by a collection of @tech{rule}s and
possibly @tech{comment}s.
possibly @tech{line comment}s or @tech{multiline comment}s.
A @deftech{rule} is a sequence consisting of: a @tech{rule identifier}, a separator (either @litchar{":"} or @litchar{"::="}), and a @tech{pattern}.

Loading…
Cancel
Save