diff options
Diffstat (limited to 'meta/src.md')
-rwxr-xr-x | meta/src.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/meta/src.md b/meta/src.md index b84f3b9..c596265 100755 --- a/meta/src.md +++ b/meta/src.md @@ -6,3 +6,5 @@ leading: This directory contains information and utilities concerning the websit - The [sitemap](meta/sitemap) is a hierarchical overview of all pages on the site. - The [styletest](meta/styletest) is a template of all document elements with defined styles. - The [to-do list](meta/todo) is a dynamic list of maintenance tasks. + +Regarding formal grammar specifications throughout the site, a [specification](meta/grammar.html) of the notation within which they are expressed is provided. |