Document pylaia extraction

docs/extract/index.md

@@ -24,6 +24,4 @@ More details about the configuration file needed in the [Dataset extraction](./c
 
 There is an additional CLI argument `--format` that allows specifying the format of the export, if the default one doesn't suit the use case. Supported versions are:
 
-- [pylaia](https://github.com/jpuigcerver/PyLaia)
-
-Some additional arguments are available and are described in the [Pylaia arguments](../ref/extract/pylaia/arguments.md#atr_data_generator.extract.pylaia.arguments.PylaiaArgs) section.
+- [PyLaia](pylaia.md)

docs/extract/pylaia.md

+## PyLaia dataset extraction
+
+To enable this output format, use the flag `--format pylaia`. The full command becomes:
+
+```sh
+atr-data-generator extract \
+    --config path/to/configuration.yaml \
+    --database-path path/to/db.sqlite \
+    --format pylaia
+```
+
+The available arguments are described in the [dedicated section](../ref/extract/pylaia/arguments.md#atr_data_generator.extract.pylaia.arguments.PylaiaArgs) of the Python API reference.

mkdocs.yml

@@ -52,6 +52,7 @@ nav:
   - Dataset extraction:
     - extract/index.md
     - Configuration: extract/configuration.md
+    - PyLaia dataset extraction: extract/pylaia.md
   - Dataset split:
     - split/index.md
     - Configuration: split/configuration.md
@@ -59,6 +60,7 @@ nav:
     - Common Arguments: ref/arguments.md
     - Dataset extraction:
       - Arguments: ref/extract/arguments.md
+      - PyLaia-specific arguments: ref/extract/pylaia/arguments.md
     - Dataset splitting:
       - Arguments: ref/split/arguments.md
   - Development: dev.md