Minor repo reorganization. Remove website from repo.

Ignore-this: 6315eb60d8bd06ea4e105667cce0f8c5 darcs-hash:20100410124808-bab43-2c7f4ade6f1fd4ae62cedf7c97e058f96fabdcda.gz
Eelis · Apr 10, 2010 · 443d031 · 443d031
1 parent e9ff1d7
commit 443d031
Show file tree

Hide file tree

Showing 14 changed files with 1 addition and 39 deletions.
diff --git a/src/README.html → README.html b/src/README.html → README.html
@@ -18,7 +18,7 @@ <h1>Readme</h1>
 
     <hr/><h2>2. Compilation</h2>
 
-    <p>Simply invoking "<kbd>scons</kbd>" in the current directory should compile the entire development.</p>
+    <p>Simply invoking "<kbd>scons</kbd>" in the <kbd>src/</kbd> directory should compile the entire development.</p>
 
     <hr/><h2>3. Source code organization</h2>
 

diff --git a/paper/README.txt → papers/TYPES08/README.txt b/paper/README.txt → papers/TYPES08/README.txt
diff --git a/paper/abstract.ltx → papers/TYPES08/abstract.ltx b/paper/abstract.ltx → papers/TYPES08/abstract.ltx
diff --git a/paper/compile.sh → papers/TYPES08/compile.sh b/paper/compile.sh → papers/TYPES08/compile.sh
diff --git a/paper/llncs.cls → papers/TYPES08/llncs.cls b/paper/llncs.cls → papers/TYPES08/llncs.cls
diff --git a/paper/macros.sty → papers/TYPES08/macros.sty b/paper/macros.sty → papers/TYPES08/macros.sty
diff --git a/paper/paper-labelled.tex → papers/TYPES08/paper-labelled.tex b/paper/paper-labelled.tex → papers/TYPES08/paper-labelled.tex
diff --git a/paper/paper-unlabelled.tex → papers/TYPES08/paper-unlabelled.tex b/paper/paper-unlabelled.tex → papers/TYPES08/paper-unlabelled.tex
diff --git a/paper/paper.bib → papers/TYPES08/paper.bib b/paper/paper.bib → papers/TYPES08/paper.bib
diff --git a/paper/paper.tex → papers/TYPES08/paper.tex b/paper/paper.tex → papers/TYPES08/paper.tex
diff --git a/paper/published.pdf → papers/TYPES08/published.pdf b/paper/published.pdf → papers/TYPES08/published.pdf
diff --git a/paper/splncs.bst → papers/TYPES08/splncs.bst b/paper/splncs.bst → papers/TYPES08/splncs.bst
diff --git a/scripts/make_tarball.sh b/scripts/make_tarball.sh
diff --git a/web/index.html b/web/index.html