suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[icfp] rename 'paper' to 'pearl'

Browse Source
This commit is contained in:
ben 2016-03-24 15:08:20 -04:00
parent 2ea7220f8c
commit 3983c2e630
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
icfp-2016/.gitignore vendored
View File

@ -6,3 +6,4 @@
*.out
*.pdf
paper.tex
pearl.tex

10
icfp-2016/Makefile
View File

@ -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:

0
icfp-2016/paper.scrbl → icfp-2016/pearl.scrbl
View File