Open jorgesallum opened 7 years ago
Criar script em pasta do Dropbox compartilhada (para evitar github).
Pasta: AllProofs
mkdir -p ./output for artigo in artigos/**/*.xml; do echo $artigo mkdir -p ./output/`dirname $artigo` jats2tex -o ./output/$artigo.tex $artigo done
artigos.zip
saída em latex
Criar script em pasta do Dropbox compartilhada (para evitar github).
Pasta: AllProofs