Merge branch 'master' into master

pull/178/head
Chris Jennewein 2022-11-14 08:12:45 -07:00 committed by GitHub
commit 43dc85b08c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

2
build-collections.sh Executable file
View File

@ -0,0 +1,2 @@
cd Collections
for i in *.xml; do xsltproc -o ../Compendiums/$i ../Utilities/merge.xslt $i; done