diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-04-18 10:49:11 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-04-18 10:49:11 +0200 |
| commit | c1374092cb68d0beb51394ae7a11d5c857835c67 (patch) | |
| tree | f76aebe4185ab9e16080f3c079f32cb7ad60043b /doc/cli.sh | |
| parent | 9381b3fcb268422f7d15a026a4c6a0b147d0a6b5 (diff) | |
Minor doc infra change
Diffstat (limited to 'doc/cli.sh')
| -rwxr-xr-x | doc/cli.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -74,7 +74,7 @@ cli -I .. \ --html-prologue-file doc-prologue.xhtml \ --html-epilogue-file doc-epilogue.xhtml \ --link-regex '%b([-.].+)%../../build2/doc/b$1%' \ ---link-regex '%build2(#.+)?%../../build2/doc/build2-build-system-manual.xhtml$1%' \ +--link-regex '%b(#.+)?%../../build2/doc/build2-build-system-manual.xhtml$1%' \ --output-prefix build2-package-manager- manual.cli html2ps -f doc.html2ps:a4.html2ps -o build2-package-manager-manual-a4.ps build2-package-manager-manual.xhtml |