From 764f5144a93fa860159a4582d118a2efc8b20e26 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 31 Jan 2016 17:41:28 +0100
Subject: [PATCH] move documentation directly into docs/
---
docs/{iris => }/algebra.tex | 0
docs/{iris => }/constructions.tex | 0
docs/{iris => }/derived.tex | 0
docs/{iris => }/encodings.tex | 0
docs/{iris => }/iris.tex | 0
docs/iris/bib.bib | 1 -
docs/iris/listproc.sty | 1 -
docs/iris/locallabel.sty | 1 -
docs/iris/mathpartir.sty | 1 -
docs/iris/pftools.sty | 1 -
docs/iris/setup.tex | 1 -
docs/{iris => }/logic.tex | 0
docs/{iris => }/model.tex | 0
13 files changed, 6 deletions(-)
rename docs/{iris => }/algebra.tex (100%)
rename docs/{iris => }/constructions.tex (100%)
rename docs/{iris => }/derived.tex (100%)
rename docs/{iris => }/encodings.tex (100%)
rename docs/{iris => }/iris.tex (100%)
delete mode 120000 docs/iris/bib.bib
delete mode 120000 docs/iris/listproc.sty
delete mode 120000 docs/iris/locallabel.sty
delete mode 120000 docs/iris/mathpartir.sty
delete mode 120000 docs/iris/pftools.sty
delete mode 120000 docs/iris/setup.tex
rename docs/{iris => }/logic.tex (100%)
rename docs/{iris => }/model.tex (100%)
diff --git a/docs/iris/algebra.tex b/docs/algebra.tex
similarity index 100%
rename from docs/iris/algebra.tex
rename to docs/algebra.tex
diff --git a/docs/iris/constructions.tex b/docs/constructions.tex
similarity index 100%
rename from docs/iris/constructions.tex
rename to docs/constructions.tex
diff --git a/docs/iris/derived.tex b/docs/derived.tex
similarity index 100%
rename from docs/iris/derived.tex
rename to docs/derived.tex
diff --git a/docs/iris/encodings.tex b/docs/encodings.tex
similarity index 100%
rename from docs/iris/encodings.tex
rename to docs/encodings.tex
diff --git a/docs/iris/iris.tex b/docs/iris.tex
similarity index 100%
rename from docs/iris/iris.tex
rename to docs/iris.tex
diff --git a/docs/iris/bib.bib b/docs/iris/bib.bib
deleted file mode 120000
index 8b7cbf87b..000000000
--- a/docs/iris/bib.bib
+++ /dev/null
@@ -1 +0,0 @@
-../bib.bib
\ No newline at end of file
diff --git a/docs/iris/listproc.sty b/docs/iris/listproc.sty
deleted file mode 120000
index 7c5b7f009..000000000
--- a/docs/iris/listproc.sty
+++ /dev/null
@@ -1 +0,0 @@
-../listproc.sty
\ No newline at end of file
diff --git a/docs/iris/locallabel.sty b/docs/iris/locallabel.sty
deleted file mode 120000
index b5cf84403..000000000
--- a/docs/iris/locallabel.sty
+++ /dev/null
@@ -1 +0,0 @@
-../locallabel.sty
\ No newline at end of file
diff --git a/docs/iris/mathpartir.sty b/docs/iris/mathpartir.sty
deleted file mode 120000
index 882eef9e3..000000000
--- a/docs/iris/mathpartir.sty
+++ /dev/null
@@ -1 +0,0 @@
-../mathpartir.sty
\ No newline at end of file
diff --git a/docs/iris/pftools.sty b/docs/iris/pftools.sty
deleted file mode 120000
index 68af43890..000000000
--- a/docs/iris/pftools.sty
+++ /dev/null
@@ -1 +0,0 @@
-../pftools.sty
\ No newline at end of file
diff --git a/docs/iris/setup.tex b/docs/iris/setup.tex
deleted file mode 120000
index 7a0f2491c..000000000
--- a/docs/iris/setup.tex
+++ /dev/null
@@ -1 +0,0 @@
-../setup.tex
\ No newline at end of file
diff --git a/docs/iris/logic.tex b/docs/logic.tex
similarity index 100%
rename from docs/iris/logic.tex
rename to docs/logic.tex
diff --git a/docs/iris/model.tex b/docs/model.tex
similarity index 100%
rename from docs/iris/model.tex
rename to docs/model.tex
--
GitLab