diff --git a/common/bin/clean.sh b/common/bin/clean.sh new file mode 100644 index 0000000..4ee242d --- /dev/null +++ b/common/bin/clean.sh @@ -0,0 +1,2 @@ +#!/bin/bash +rm -f *.{nav,log,aux,out,snm,toc,vrb} diff --git a/common/bin/export-org-to-beamer b/common/bin/export-org-to-beamer new file mode 100755 index 0000000..8cc77d5 --- /dev/null +++ b/common/bin/export-org-to-beamer @@ -0,0 +1,25 @@ +#!/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