diff --git a/.gitmodules b/.gitmodules index aee2dd2..cb3429a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "jgm/djot"] - path = modules/djot - url = git@github.com:jgm/djot.git +[submodule "jgm/djot.js"] + path = modules/djot.js + url = git@github.com:jgm/djot.js.git diff --git a/Makefile b/Makefile index a75af9a..bcfe812 100644 --- a/Makefile +++ b/Makefile @@ -2,9 +2,9 @@ .PHONY: suite suite: - git submodule update --init modules/djot - for f in $$(find modules/djot/test -name '*.test' | xargs basename -a); do \ - ln -fs ../../modules/djot/test/$$f tests/suite/$$f; \ + git submodule update --init modules/djot.js + for f in $$(find modules/djot.js/test -name '*.test' | xargs basename -a); do \ + ln -fs ../../modules/djot.js/test/$$f tests/suite/$$f; \ done (cd tests/suite && make) cargo test --features suite diff --git a/modules/djot b/modules/djot deleted file mode 160000 index 4b3bf26..0000000 --- a/modules/djot +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 4b3bf26dde0fa46a5d22b536154e3634619ef3a4 diff --git a/modules/djot.js b/modules/djot.js new file mode 160000 index 0000000..5c0b988 --- /dev/null +++ b/modules/djot.js @@ -0,0 +1 @@ +Subproject commit 5c0b988a4fd6ef01cb5a3ad79dfaf98a0b3cee00