Merge PR coq#19530: Give Stdlib its own directory

Reviewed-by: Zimmi48
Ack-by: ejgallego
Ack-by: SkySkimmer
Ack-by: silene
Ack-by: jfehrle
Ack-by: andres-erbsen
Ack-by: JasonGross
Co-authored-by: Zimmi48 <[email protected]>

.github/workflows/ci-macos.yml

@@ -43,15 +43,15 @@ jobs:
           eval $(opam env)
           ./configure -prefix "$(pwd)/_install_ci" -native-compiler no
           make dunestrap
-          dune build -p coq-core,coq-stdlib,coqide-server,coqide,coq
+          dune build -p coq-core,rocq-core,coqide-server,coqide
         env:
           MACOSX_DEPLOYMENT_TARGET: "10.11"
           NJOBS: "2"
 
       - name: Install Coq
         run: |
           eval $(opam env)
-          dune install --prefix="$(pwd)/_install_ci" coq-core coq-stdlib coqide-server coqide coq
+          dune install --prefix="$(pwd)/_install_ci" coq-core rocq-core coqide-server coqide
 
       - name: Run Coq Test Suite
         run: |

.gitignore

@@ -111,14 +111,14 @@ doc/faq/axioms.pdf_t
 doc/faq/axioms.png
 doc/sphinx/index.rst
 doc/sphinx/zebibliography.rst
-doc/stdlib/Library.out
-doc/stdlib/Library.ps
-doc/stdlib/Library.coqdoc.tex
-doc/stdlib/FullLibrary.ps
-doc/stdlib/FullLibrary.coqdoc.tex
-doc/stdlib/html/
-doc/stdlib/index-body.html
-doc/stdlib/index-list.html
+doc/corelib/Library.out
+doc/corelib/Library.ps
+doc/corelib/Library.coqdoc.tex
+doc/corelib/FullLibrary.ps
+doc/corelib/FullLibrary.coqdoc.tex
+doc/corelib/html/
+doc/corelib/index-body.html
+doc/corelib/index-list.html
 doc/tools/docgram/editedGrammar
 doc/tools/docgram/prodnGrammar
 doc/tools/docgram/prodnCommands