From e301210ffb2a4182a2dfad3364979a5f53d43534 Mon Sep 17 00:00:00 2001 From: Gregory Toprak Date: Tue, 28 Aug 2018 13:10:30 -0400 Subject: [PATCH] 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. --- brag/brag.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/brag/brag.scrbl b/brag/brag.scrbl index 006ac3d..2aa8849 100755 --- a/brag/brag.scrbl +++ b/brag/brag.scrbl @@ -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}.