Update API documentation

Makefile

@@ -34,9 +34,9 @@ prove_tests: prove_lib
 doc: doc/api/index.html
 
 doc/api/index.html: build/SXML.gpr
-	@$(GPRBUILD) -P build/SXML -Xlibtype=dynamic
-	@$(GNATDOC) -q -P build/SXML --no-subprojects -Xlibtype=dynamic -XRTS=native -Xcallgraph=none -w -l --enable-build
-	@$(GNATDOC) -P build/SXML --no-subprojects -Xlibtype=dynamic -XRTS=native -Xcallgraph=none -w -l --enable-build
+	@$(GPRBUILD) -P build/doc
+	@$(GNATDOC) -q -P build/doc --no-subprojects -XMode=$(MODE) -w -l --enable-build
+	@$(GNATDOC) -P build/doc --no-subprojects -XMode=$(MODE) -w -l --enable-build
 
 testonly: build/SXML.gpr
 	$(GPRBUILD) $(GPRBUILD_OPTS) -P tests/execute/tests

build/SXML.gpr

@@ -70,10 +70,6 @@ is
       for Switches use ("-Wa", "-a", "-p", "-ca", "-x", "-u64");
    end Stack;
 
-   package Documentation is
-      for Documentation_Dir use "../doc/api";
-   end Documentation;
-
    Proof_Switches :=
    (
       "-j0",

build/doc.gpr

@@ -0,0 +1,14 @@
+with "switches";
+with "../contrib/basalt/basalt";
+
+project Doc
+is
+   for Create_Missing_Dirs use "true";
+
+   package Documentation is
+      for Documentation_Dir use "../doc/api";
+   end Documentation;
+
+   for Source_Dirs use ("../src", "../src/unbounded");
+   for Object_Dir use "../obj/doc";
+end Doc;