Include submission version of paper in artifact

For the artifact to make sense the submission version is kind of needed.
Alternately, the archived artifact could just be the current release of
Argosy without any supporting text.

artifact/README.md

@@ -87,8 +87,10 @@ stack test
 
 # Connections between paper and code
 
-We refer to identifiers by their qualified Coq name; to find `Spec.Proc.proc`
-you'd look in `Spec/Proc.v` for a definition called `proc`.
+This artifact was written against the submission version of the paper, which we
+include for archival purposes in the artifact as `argosy-submission.pdf`. We
+refer to identifiers by their qualified Coq name; to find `Spec.Proc.proc` you'd
+look in `Spec/Proc.v` for a definition called `proc`.
 
 ## Section 2 (encoding the semantics)
 
@@ -264,7 +266,8 @@ transactional API on top of two unreliable disks. See its separate
 
 This artifact was prepared by using `argosy/artifact/prepare.sh`, which calls
 `argosy/release.sh` to package up the Argosy source code. The release consists
-of copying the git repo and then deleting things.
+of copying the git repo and then deleting things, followed by adding the
+submission version of the paper.
 
 The VM was produced by preparing the artifact and then using the packer setup in
 `argosy/artifact/vm` to do an unattended install of Xubuntu and export the

artifact/prepare.sh

@@ -3,6 +3,7 @@
 ## Put together artifact tarball
 
 src="$1"
+submission_pdf="$2"
 out="/tmp/argosy-artifact"
 out_dir="$PWD"
 
@@ -26,6 +27,7 @@ rm argosy.tar.gz
 # package up the rest of the artifact
 cp "$src/artifact/README.html" ./
 cp "$src/artifact/loc.sh" ./
+cp "$submission_pdf" ./argosy-submission.pdf
 popd
 find "$out" -type f -name '._*' -delete
 

release.sh

@@ -25,11 +25,11 @@ make -C "$output_dir" clean
 git -C "$output_dir" clean -fxd
 
 # remove git repo
-find "$output_dir" -name '.git' -exec rm -r {} \;
+rm -rf $(find "$output_dir" -name '.git')
 rm "$output_dir/.gitmodules"
 find "$output_dir" -name '.gitignore' -exec rm {} \;
 
 # package
 find "$output_dir" -type f -name '._*' -delete
-tar -czvf argosy.tar.gz -C $(dirname "$output_dir") $(basename "$output_dir")
+tar -czvf argosy.tar.gz -C "$(dirname "$output_dir")" "$(basename "$output_dir")"
 rm -r "$output_dir"