diff options
| author | Daniel Mensinger <daniel@mensinger-ka.de> | 2021-08-22 17:16:47 +0200 |
|---|---|---|
| committer | Daniel Mensinger <daniel@mensinger-ka.de> | 2021-10-03 12:19:45 +0200 |
| commit | 5dd8171fb3d226eaef52faa821286cf79d0f8a2a (patch) | |
| tree | 0e716b3ba8c87e4a7e2f76c0287aaebdaee341bf /docs/refman/main.py | |
| parent | 30435e519700a797cb8d2219662ec57da218eeef (diff) | |
| download | meson-5dd8171fb3d226eaef52faa821286cf79d0f8a2a.zip meson-5dd8171fb3d226eaef52faa821286cf79d0f8a2a.tar.gz meson-5dd8171fb3d226eaef52faa821286cf79d0f8a2a.tar.bz2 | |
docs: Use a custom hotdoc extension for links to RefMan
Diffstat (limited to 'docs/refman/main.py')
| -rw-r--r-- | docs/refman/main.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/refman/main.py b/docs/refman/main.py index f4b3076..cb040ce 100644 --- a/docs/refman/main.py +++ b/docs/refman/main.py @@ -34,6 +34,7 @@ def main() -> int: parser.add_argument('-g', '--generator', type=str, choices=['print', 'pickle', 'md'], required=True, help='Generator backend') parser.add_argument('-s', '--sitemap', type=Path, default=meson_root / 'docs' / 'sitemap.txt', help='Path to the input sitemap.txt') parser.add_argument('-o', '--out', type=Path, required=True, help='Output directory for generated files') + parser.add_argument('--link-defs', type=Path, help='Output file for the MD generator link definition file') parser.add_argument('--depfile', type=Path, default=None, help='Set to generate a depfile') parser.add_argument('--force-color', action='store_true', help='Force enable colors') args = parser.parse_args() @@ -51,7 +52,7 @@ def main() -> int: generators: T.Dict[str, T.Callable[[], GeneratorBase]] = { 'print': lambda: GeneratorPrint(refMan), 'pickle': lambda: GeneratorPickle(refMan, args.out), - 'md': lambda: GeneratorMD(refMan, args.out, args.sitemap), + 'md': lambda: GeneratorMD(refMan, args.out, args.sitemap, args.link_defs), } generator = generators[args.generator]() |