diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..47f2018 --- /dev/null +++ b/Makefile @@ -0,0 +1,5 @@ +valid: + xmllint --dtdvalid schema/tei_all.dtd --xinclude header.xml --noout + +chars: + ag --nofilename -o "(?<=