Skip to content

C
cpdt
Commit 4e48ffb8 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Finished 2011 pass through Intro

parent 6174adf9
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 90 additions and 65 deletions
Makefile
View file @ 4e48ffb8
...@@ -9,7 +9,7 @@ VS := $(MODULES:%=src/%.v) ...@@ -9,7 +9,7 @@ VS := $(MODULES:%=src/%.v)
VS_DOC := $(MODULES_DOC:%=%.v) VS_DOC := $(MODULES_DOC:%=%.v)
TEMPLATES := $(MODULES_CODE:%=templates/%.v) TEMPLATES := $(MODULES_CODE:%=templates/%.v)
.PHONY: coq clean doc html templates install cpdt.tgz .PHONY: coq clean doc html templates install cpdt.tgz pdf
coq: Makefile.coq coq: Makefile.coq
$(MAKE) -f Makefile.coq $(MAKE) -f Makefile.coq
...@@ -60,4 +60,7 @@ install: cpdt.tgz latex/cpdt.pdf html ...@@ -60,4 +60,7 @@ install: cpdt.tgz latex/cpdt.pdf html
cp cpdt.tgz staging/ cp cpdt.tgz staging/
cp latex/cpdt.pdf staging/ cp latex/cpdt.pdf staging/
cp -R html staging/ cp -R html staging/
rsync -az --exclude '*~' staging/* schizomaniac.net:sites/chlipala/adam/cpdt/ rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/
pdf:
evince latex/cpdt.pdf&
src/Intro.v
View file @ 4e48ffb8
This diff is collapsed.
src/StackMachine.v
View file @ 4e48ffb8
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment