What has made my day, however, is the 'rubber' tool. I do a lot of writing, and most of it in tex. It's always been irritating to have to manage dependencies, makefiles, etc. all by hand. Now, I just have a makefile I can dump anywhere and it works like magic!
TARGET_FORMAT=ps
#TARGET_FORMAT=pdf
PROBLEMS:=${shell ls *.tex}
all: figures ${PROBLEMS:.tex=.${TARGET_FORMAT}}
gvwatch ${PROBLEMS:.tex=.${TARGET_FORMAT}}
%.pdf:%.tex
rubber --pdf $<
%.ps:%.tex
rubber --ps $<
figures:
$(MAKE) -C figures
clean:
$(MAKE) -C figures clean
rm -f *.{aux,bbl,blg,dvi,log,ps,pdf} texput.log *~
I love cool little tools that make my life easier.
1 comment:
FYI, rubber has a --clean option that will do most or all of the cleanup for you.
(You only have a subset of possible auxiliary file extensions in your clean target; there are oh so many more you could encounter....)
Post a Comment