From 0ed2cc2b504fd8b55b9d3277d50ddfc7e1617c08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 23 Oct 2019 07:52:11 +0200
Subject: [PATCH] [wp] move coq-doc resources to doc
---
.../wp/{share/doc => doc/coqdoc/coq2tex}/.gitignore | 0
.../{share/doc => doc/coqdoc/coq2tex}/coq2html.css | 0
.../{share/doc => doc/coqdoc/coq2tex}/coq2html.js | 0
.../{share/doc => doc/coqdoc/coq2tex}/coq2html.mll | 0
.../{share/doc => doc/coqdoc/coq2tex}/coq2latex.mll | 0
.../{share/doc => doc/coqdoc/coq2tex}/coq2latex.sty | 0
.../wp/{share/doc => doc/coqdoc/coq2tex}/foot.html | 0
.../{share/doc => doc/coqdoc/coq2tex}/frama-c.png | Bin
.../wp/{share/doc => doc/coqdoc/coq2tex}/head.html | 0
.../wp/{share/doc => doc/coqdoc/coq2tex}/index.png | Bin
10 files changed, 0 insertions(+), 0 deletions(-)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/.gitignore (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/coq2html.css (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/coq2html.js (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/coq2html.mll (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/coq2latex.mll (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/coq2latex.sty (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/foot.html (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/frama-c.png (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/head.html (100%)
rename src/plugins/wp/{share/doc => doc/coqdoc/coq2tex}/index.png (100%)
diff --git a/src/plugins/wp/share/doc/.gitignore b/src/plugins/wp/doc/coqdoc/coq2tex/.gitignore
similarity index 100%
rename from src/plugins/wp/share/doc/.gitignore
rename to src/plugins/wp/doc/coqdoc/coq2tex/.gitignore
diff --git a/src/plugins/wp/share/doc/coq2html.css b/src/plugins/wp/doc/coqdoc/coq2tex/coq2html.css
similarity index 100%
rename from src/plugins/wp/share/doc/coq2html.css
rename to src/plugins/wp/doc/coqdoc/coq2tex/coq2html.css
diff --git a/src/plugins/wp/share/doc/coq2html.js b/src/plugins/wp/doc/coqdoc/coq2tex/coq2html.js
similarity index 100%
rename from src/plugins/wp/share/doc/coq2html.js
rename to src/plugins/wp/doc/coqdoc/coq2tex/coq2html.js
diff --git a/src/plugins/wp/share/doc/coq2html.mll b/src/plugins/wp/doc/coqdoc/coq2tex/coq2html.mll
similarity index 100%
rename from src/plugins/wp/share/doc/coq2html.mll
rename to src/plugins/wp/doc/coqdoc/coq2tex/coq2html.mll
diff --git a/src/plugins/wp/share/doc/coq2latex.mll b/src/plugins/wp/doc/coqdoc/coq2tex/coq2latex.mll
similarity index 100%
rename from src/plugins/wp/share/doc/coq2latex.mll
rename to src/plugins/wp/doc/coqdoc/coq2tex/coq2latex.mll
diff --git a/src/plugins/wp/share/doc/coq2latex.sty b/src/plugins/wp/doc/coqdoc/coq2tex/coq2latex.sty
similarity index 100%
rename from src/plugins/wp/share/doc/coq2latex.sty
rename to src/plugins/wp/doc/coqdoc/coq2tex/coq2latex.sty
diff --git a/src/plugins/wp/share/doc/foot.html b/src/plugins/wp/doc/coqdoc/coq2tex/foot.html
similarity index 100%
rename from src/plugins/wp/share/doc/foot.html
rename to src/plugins/wp/doc/coqdoc/coq2tex/foot.html
diff --git a/src/plugins/wp/share/doc/frama-c.png b/src/plugins/wp/doc/coqdoc/coq2tex/frama-c.png
similarity index 100%
rename from src/plugins/wp/share/doc/frama-c.png
rename to src/plugins/wp/doc/coqdoc/coq2tex/frama-c.png
diff --git a/src/plugins/wp/share/doc/head.html b/src/plugins/wp/doc/coqdoc/coq2tex/head.html
similarity index 100%
rename from src/plugins/wp/share/doc/head.html
rename to src/plugins/wp/doc/coqdoc/coq2tex/head.html
diff --git a/src/plugins/wp/share/doc/index.png b/src/plugins/wp/doc/coqdoc/coq2tex/index.png
similarity index 100%
rename from src/plugins/wp/share/doc/index.png
rename to src/plugins/wp/doc/coqdoc/coq2tex/index.png
--
GitLab