From 7ef5ad9ac52b09818a3e145377a5fdc9186b61b3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Wed, 14 Nov 2018 13:48:12 +0100 Subject: [PATCH] Fix a link in CHANGES.md. --- CHANGES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 85963a3e..d606e32c 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -7,7 +7,7 @@ nonterminal symbol.) The old syntax remains available; the user chooses between the two syntaxes on a per-rule basis. The new syntax is fully documented in the manual; - [a brief summary of the differences](doc/new-rule-syntax.md) + [a brief summary of the differences](doc/new-rule-syntax-summary.md) with respect to the old syntax is also available. **The new syntax is considered experimental** and is subject to change in the near future. -- GitLab