diff options
Diffstat (limited to 'resources/Makefile-common')
-rw-r--r-- | resources/Makefile-common | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/resources/Makefile-common b/resources/Makefile-common new file mode 100644 index 0000000..9ba957f --- /dev/null +++ b/resources/Makefile-common @@ -0,0 +1,64 @@ +# This Makefile is used as common denominator for the compilation of a +# PDF file from a minutes. +# +# Commands +# +# compile: Create the pdf file +# +# Mandatory arguments +# FILE -- name of tex file without surfixes +# Optional arguments +# PREAMBLE -- path to preamble without surfixes (defaults) +# FILES_TEX -- list of dependency tex-files without surfixes +# FILES_JPG -- list of dependency jgp-images without surfixes +# +# send: Sends pdf files to server +# +# Mandatory arguments +# SEND_FILES -- list of files to send (without prefixes) +# +# clean: clears all generated files +# + +FILE = +PREAMBLE = ../preamble/preamble +FILES_TEX = +FILES_JPG = +SEND_FILES = + +input = $(FILE).tex +output = $(FILE).pdf +preamble = $(PREAMBLE).tex +files-tex = $(foreach f, $(FILES_TEX), $(f).tex) +files-jgp = $(foreach f, $(FILES_JPG), $(f).jpg) +send-files = $(foreach f, $(SEND_FILES), $(f).pdf) + +compile: $(output) + +# The most general latex compilation command +$(output): $(input) $(preamble) $(files-tex) $(files-jpg) + latex_count=5 ;\ + latex_log=$$(echo $@ | sed 's/.pdf/.log/') ;\ + pdflatex $< ;\ + while egrep -s 'Rerun (LaTeX|to get cross-references right)' $$latex_log && [ $$latex_count -gt 0 ] ;\ + do echo "Rerunning latex...." ; pdflatex $< ;\ + latex_count=`expr $$latex_count - 1`;\ + done; + +# Clean up +clean: + rm -f *.aux *.bbl *.dvi *.log *.nav *.out *.snm *.toc *~ + +# Sends to fripost.org for publication +send: + rsync -ruvp --chmod=Dugo+rx,Fugo+r $(send-files) fripost@fripost.org:fripost.org/minutes/ + +# Help +help: + @echo 'This script do not run without arguments. Run for example:' + @echo + @echo ' $ make 2014-02-13-board-notes.pdf' + @echo ' $ make all' + @echo ' $ make send' + @echo ' $ make clean' + |