From 3983c2e63057c42723e06a9e46b12ae4af2d1a98 Mon Sep 17 00:00:00 2001 From: ben Date: Thu, 24 Mar 2016 15:08:20 -0400 Subject: [PATCH] [icfp] rename 'paper' to 'pearl' --- icfp-2016/.gitignore | 1 + icfp-2016/Makefile | 10 +++++----- icfp-2016/{paper.scrbl => pearl.scrbl} | 0 3 files changed, 6 insertions(+), 5 deletions(-) rename icfp-2016/{paper.scrbl => pearl.scrbl} (100%) diff --git a/icfp-2016/.gitignore b/icfp-2016/.gitignore index caf533d..7c573ba 100644 --- a/icfp-2016/.gitignore +++ b/icfp-2016/.gitignore @@ -6,3 +6,4 @@ *.out *.pdf paper.tex +pearl.tex diff --git a/icfp-2016/Makefile b/icfp-2016/Makefile index 230468d..51fe504 100644 --- a/icfp-2016/Makefile +++ b/icfp-2016/Makefile @@ -1,14 +1,14 @@ -PAPER=paper +PAPER=pearl -all: paper.pdf +all: pearl.pdf -compiled/paper_scrbl.zo: *.rkt *.scrbl +compiled/pearl_scrbl.zo: *.rkt *.scrbl raco make -v $(PAPER).scrbl -paper.pdf: pkg compiled/paper_scrbl.zo texstyle.tex +pearl.pdf: pkg compiled/pearl_scrbl.zo texstyle.tex scribble ++extra fig-experience.tex ++extra fig-stxclass.tex ++extra fig-stats.tex ++style texstyle.tex --pdf $(PAPER).scrbl -paper.tex: pkg compiled/paper_scrbl.zo texstyle.tex +pearl.tex: pkg compiled/pearl_scrbl.zo texstyle.tex scribble ++style texstyle.tex --latex $(PAPER).scrbl pkg: diff --git a/icfp-2016/paper.scrbl b/icfp-2016/pearl.scrbl similarity index 100% rename from icfp-2016/paper.scrbl rename to icfp-2016/pearl.scrbl