docs/gimme-shellter

changeset 10:7adaf386e4ff

added generation of print version to makefile
author meillo@marmaro.de
date Wed, 12 Dec 2007 12:54:45 +0100
parents 129c2c5ed47f
children 71ca21c937d1
files Makefile
diffstat 1 files changed, 25 insertions(+), 5 deletions(-) [+]
line diff
     1.1 --- a/Makefile	Wed Dec 12 10:38:11 2007 +0100
     1.2 +++ b/Makefile	Wed Dec 12 12:54:45 2007 +0100
     1.3 @@ -3,10 +3,16 @@
     1.4  #
     1.5  
     1.6  
     1.7 +PDFLATEX = pdflatex
     1.8 +
     1.9  SRC = GimmeShellter.tex
    1.10 +OBJ = GimmeShellter.pdf
    1.11  #OBJ = ${SRC:.tex:.pdf}
    1.12 -OBJ = GimmeShellter.pdf
    1.13 -PDFLATEX = pdflatex
    1.14 +
    1.15 +PRINT = print.tex
    1.16 +PRINTPDF = print.pdf
    1.17 +PRINTALL = print.*
    1.18 +PRINTOBJ = GimmeShellter_print.pdf
    1.19  
    1.20  
    1.21  all: ${OBJ}
    1.22 @@ -18,12 +24,14 @@
    1.23  	@${PDFLATEX} $<
    1.24  
    1.25  
    1.26 -dist: realclean
    1.27 +dist: realclean print
    1.28  	# generate 3 times for correct toc and pagenumbers
    1.29  	${MAKE} all
    1.30 -	${MAKE} rmpdf
    1.31 +	sleep 1
    1.32 +	touch ${SRC}
    1.33  	${MAKE} all
    1.34 -	${MAKE} rmpdf
    1.35 +	sleep 1
    1.36 +	touch ${SRC}
    1.37  	${MAKE} all
    1.38  
    1.39  
    1.40 @@ -40,6 +48,18 @@
    1.41  xpdf: all
    1.42  	xpdf -z page ${OBJ} &
    1.43  
    1.44 +print:
    1.45 +	@echo 'creating print version'
    1.46 +	@sed -e '/\\pause/d' ${SRC} > ${PRINT}
    1.47 +	@${PDFLATEX} ${PRINT}
    1.48 +	sleep 1
    1.49 +	touch ${SRC}
    1.50 +	@${PDFLATEX} ${PRINT}
    1.51 +	sleep 1
    1.52 +	touch ${SRC}
    1.53 +	@${PDFLATEX} ${PRINT}
    1.54 +	@${MAKE} clean
    1.55 +	@mv ${PRINTPDF} ${PRINTOBJ}
    1.56  
    1.57  .PHONY: all xpdf dist clean realclean rmpdf
    1.58  .SUFFIXES: .tex .pdf