updated history resource, updated examples as per rfc9594

core-wg · Oct 20, 2024 · 0bd9b49 · 0bd9b49
1 parent f699e34
commit 0bd9b49
Show file tree

Hide file tree

Showing 3 changed files with 2,314 additions and 152 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,12 @@
+TEXT_PAGINATION := true
+LIBDIR := lib
+include $(LIBDIR)/main.mk
+
+$(LIBDIR)/main.mk:
+ifneq (,$(shell grep "path *= *$(LIBDIR)" .gitmodules 2>/dev/null))
+	git submodule sync
+	git submodule update $(CLONE_ARGS) --init
+else
+	git clone -q --depth 10 $(CLONE_ARGS) \
+	    -b main https://github.com/martinthomson/i-d-template $(LIBDIR)
+endif