diff --git a/.gitignore b/.gitignore index 4bb64e5..8d4bf3e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,20 +1,21 @@ *~ auto/ *.aux *.bbl *.blg *.log main.pdf *.mk *.nav notes.config *.out *.pdfpc _region_.* *.snm *-stamp *.tmp *.toc *.vrb common/modules/pdf/ .directory +_minted*/ diff --git a/common/bin/export-org-to-beamer b/common/bin/export-org-to-beamer index 8cc77d5..ebd622c 100755 --- a/common/bin/export-org-to-beamer +++ b/common/bin/export-org-to-beamer @@ -1,25 +1,26 @@ #!/bin/bash # # this is horrible... quotes all around :-( # # but creating a temporary file like in # # cat > /tmp/export.$$ < $@ clean: $(patsubst %,%/clean,$(TEXS) $(TEXHOS)) %/clean: if [ -f $* ]; then rubber -m pdftex --clean $* ; fi rm -f $* distclean: clean diff --git a/talks-public/bin/export-org-to-beamer b/talks-public/bin/export-org-to-beamer index 8cc77d5..ebd622c 100755 --- a/talks-public/bin/export-org-to-beamer +++ b/talks-public/bin/export-org-to-beamer @@ -1,25 +1,26 @@ #!/bin/bash # # this is horrible... quotes all around :-( # # but creating a temporary file like in # # cat > /tmp/export.$$ <