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