Skip to content

Commit

Permalink
fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
puzzlet committed Sep 23, 2023
1 parent 7e88484 commit 1bec26c
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 4 deletions.
3 changes: 3 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
*.seshat linguist-language=Seshat

build/docs/ linguist-generated
2 changes: 1 addition & 1 deletion docs/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
SPHINXOPTS ?=
SPHINXBUILD ?= sphinx-build
SOURCEDIR = .
BUILDDIR = ../build/docs/
BUILDDIR = _build/

# Put it first so that "make" without argument is like "make help".
help:
Expand Down
2 changes: 1 addition & 1 deletion docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
a4_base_path = dirname(__file__) + '/../grammar/seshat/'

templates_path = ['_templates']
exclude_patterns = ['Thumbs.db', '.DS_Store']
exclude_patterns = ['_build/', 'Thumbs.db', '.DS_Store']



Expand Down
4 changes: 2 additions & 2 deletions grammar/seshat/SeshatLexer.g4
Original file line number Diff line number Diff line change
Expand Up @@ -30,11 +30,11 @@ R: 'π“‚‹' ;
END: 'π“‚’' ;

/**
* π“Œƒπ“†“ ḏd-mdw "recitation" (literally "saying words"), commonly used in religious texts as starting quotation mark.
* π“†“π“Œƒ ḏd-mdw "recitation" (literally "saying words"), commonly used in religious texts as starting quotation mark.
*
* It seems that there was no end quotation mark. π“‚’ grαΈ₯ "end" is not a end quotation mark, but used here for the similarity.
*/
STRING_LITERAL: 'π“Œƒπ“†“' ~'\u{130a2}'+ END ;
STRING_LITERAL: 'π“†“π“Œƒ' ~'\u{130a2}'+ END ;
// TODO: '\n' END ?

/**
Expand Down

0 comments on commit 1bec26c

Please sign in to comment.