2022-09-14 11:48:47 +03:00
|
|
|
#
|
|
|
|
|
# Example spread generator...
|
|
|
|
|
#
|
|
|
|
|
# Usage:
|
|
|
|
|
# $ make
|
|
|
|
|
#
|
|
|
|
|
# To make a specifc spread (0-based index) use:
|
|
|
|
|
# $ SPREAD=1 make
|
|
|
|
|
#
|
|
|
|
|
# For more info use:
|
2023-03-11 02:24:31 +03:00
|
|
|
# make-spreads.sh --help
|
2022-09-14 11:48:47 +03:00
|
|
|
#
|
|
|
|
|
#
|
|
|
|
|
|
2023-03-11 02:24:31 +03:00
|
|
|
MAKESPREADS := ../../scripts/make-spreads.sh
|
2022-09-14 11:48:47 +03:00
|
|
|
|
|
|
|
|
|
2023-03-13 20:12:15 +03:00
|
|
|
spreads.tex: spreads $(wildcard spreads/*/*)
|
2022-09-14 11:48:47 +03:00
|
|
|
$(MAKESPREADS) $< $(SPREAD) > $@
|
|
|
|
|
|
2022-09-14 16:02:55 +03:00
|
|
|
dist:
|
|
|
|
|
|
2022-09-14 11:48:47 +03:00
|
|
|
clean:
|
|
|
|
|
rm -f spreads.tex
|
|
|
|
|
|
|
|
|
|
all: spreads.tex
|
|
|
|
|
|
