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/14/head
Gregory Toprak 6 years ago committed by GitHub
parent 1b69e27c44
commit 92819cc5ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -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