Deplacement du répertoire doc dans dev

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8140 85f007b7-540e-0410-9357-904b9bb8a0f7

22 files changed, 0 insertions, 0 deletions

diff --git a/doc/.cvsignore b/dev/doc/.cvsignore
index 4f4a6839e7..4f4a6839e7 100644
--- a/doc/.cvsignore
+++ b/dev/doc/.cvsignore
diff --git a/doc/Makefile b/dev/doc/Makefile
index a0bef8976c..a0bef8976c 100644
--- a/doc/Makefile
+++ b/dev/doc/Makefile
diff --git a/doc/ast.ml b/dev/doc/ast.ml
index 2153ef47c0..2153ef47c0 100644
--- a/doc/ast.ml
+++ b/dev/doc/ast.ml
diff --git a/doc/check-grammar b/dev/doc/check-grammar
index 67da1bc513..67da1bc513 100755
--- a/doc/check-grammar
+++ b/dev/doc/check-grammar
diff --git a/doc/interp.dep.ps b/dev/doc/interp.dep.ps
index b055448121..b055448121 100644
--- a/doc/interp.dep.ps
+++ b/dev/doc/interp.dep.ps
diff --git a/doc/intro.tex b/dev/doc/intro.tex
index 4cec8673f4..4cec8673f4 100644
--- a/doc/intro.tex
+++ b/dev/doc/intro.tex
diff --git a/doc/kernel.dep.ps b/dev/doc/kernel.dep.ps
index 3c00121e81..3c00121e81 100644
--- a/doc/kernel.dep.ps
+++ b/dev/doc/kernel.dep.ps
diff --git a/doc/lex.mll b/dev/doc/lex.mll
index 617163e7e7..617163e7e7 100644
--- a/doc/lex.mll
+++ b/dev/doc/lex.mll
diff --git a/doc/library.dep.ps b/dev/doc/library.dep.ps
index 1c68240e74..1c68240e74 100644
--- a/doc/library.dep.ps
+++ b/dev/doc/library.dep.ps
diff --git a/doc/macros.tex b/dev/doc/macros.tex
index 6beacf7b0b..6beacf7b0b 100644
--- a/doc/macros.tex
+++ b/dev/doc/macros.tex
diff --git a/doc/memo-v8.tex b/dev/doc/memo-v8.tex
index 8d116de26f..8d116de26f 100644
--- a/doc/memo-v8.tex
+++ b/dev/doc/memo-v8.tex
diff --git a/doc/minicoq.tex b/dev/doc/minicoq.tex
index a34b03a491..a34b03a491 100644
--- a/doc/minicoq.tex
+++ b/dev/doc/minicoq.tex
diff --git a/doc/newsyntax.tex b/dev/doc/newsyntax.tex
index 96e61292f9..96e61292f9 100644
--- a/doc/newsyntax.tex
+++ b/dev/doc/newsyntax.tex
diff --git a/doc/parse.ml b/dev/doc/parse.ml
index e537b1f2f4..e537b1f2f4 100644
--- a/doc/parse.ml
+++ b/dev/doc/parse.ml
diff --git a/doc/parsing.dep.ps b/dev/doc/parsing.dep.ps
index 723d8c6976..723d8c6976 100644
--- a/doc/parsing.dep.ps
+++ b/dev/doc/parsing.dep.ps
diff --git a/doc/preamble.tex b/dev/doc/preamble.tex
index 2cd21f0228..2cd21f0228 100644
--- a/doc/preamble.tex
+++ b/dev/doc/preamble.tex
diff --git a/doc/pretyping.dep.ps b/dev/doc/pretyping.dep.ps
index 02d1b8b5a8..02d1b8b5a8 100644
--- a/doc/pretyping.dep.ps
+++ b/dev/doc/pretyping.dep.ps
diff --git a/doc/proofs.dep.ps b/dev/doc/proofs.dep.ps
index 0e78f4226e..0e78f4226e 100644
--- a/doc/proofs.dep.ps
+++ b/dev/doc/proofs.dep.ps
diff --git a/doc/syntax-v8.tex b/dev/doc/syntax-v8.tex
index 97973df2b6..97973df2b6 100644
--- a/doc/syntax-v8.tex
+++ b/dev/doc/syntax-v8.tex
diff --git a/doc/syntax.mly b/dev/doc/syntax.mly
index bfc7d5ccf0..bfc7d5ccf0 100644
--- a/doc/syntax.mly
+++ b/dev/doc/syntax.mly
diff --git a/doc/tactics.dep.ps b/dev/doc/tactics.dep.ps
index f4de22b7ef..f4de22b7ef 100644
--- a/doc/tactics.dep.ps
+++ b/dev/doc/tactics.dep.ps
diff --git a/doc/toplevel.dep.ps b/dev/doc/toplevel.dep.ps
index e0355aac04..e0355aac04 100644
--- a/doc/toplevel.dep.ps
+++ b/dev/doc/toplevel.dep.ps