[wp] move coq-doc resources to doc

0ed2cc2b · Loïc Correnson · François Bobot · 0cba9655 · 0ed2cc2b · 0ed2cc2b
Commit 0ed2cc2b authored 5 years ago by Loïc Correnson Committed by François Bobot 5 years ago
--- a/src/plugins/wp/share/doc/.gitignore
+++ b/src/plugins/wp/share/doc/.gitignore
--- a/src/plugins/wp/share/doc/coq2html.css
+++ b/src/plugins/wp/share/doc/coq2html.css
--- a/src/plugins/wp/share/doc/coq2html.js
+++ b/src/plugins/wp/share/doc/coq2html.js
--- a/src/plugins/wp/share/doc/coq2html.mll
+++ b/src/plugins/wp/share/doc/coq2html.mll
--- a/src/plugins/wp/share/doc/coq2latex.mll
+++ b/src/plugins/wp/share/doc/coq2latex.mll
--- a/src/plugins/wp/share/doc/coq2latex.sty
+++ b/src/plugins/wp/share/doc/coq2latex.sty
--- a/src/plugins/wp/share/doc/foot.html
+++ b/src/plugins/wp/share/doc/foot.html
--- a/src/plugins/wp/share/doc/frama-c.png
+++ b/src/plugins/wp/share/doc/frama-c.png
--- a/src/plugins/wp/share/doc/head.html
+++ b/src/plugins/wp/share/doc/head.html
--- a/src/plugins/wp/share/doc/index.png
+++ b/src/plugins/wp/share/doc/index.png