diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-15 15:06:54 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-10-15 15:06:54 +0200 |
commit | 67a25136d464c3ff3ab7b83102e27329c83625d8 (patch) | |
tree | 3ae0647adc4c156c752043b8793bde7206b4f213 /doc/buildfile | |
parent | 326eb1f27bf7a0fa67e5281a5683c93f641b4b49 (diff) |
Add missing man pages to doc/buildfile
Diffstat (limited to 'doc/buildfile')
-rw-r--r-- | doc/buildfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/buildfile b/doc/buildfile index f74c02a..d1e80b2 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -33,8 +33,9 @@ css{*}: extension = css define xhtml: doc xhtml{*}: extension = xhtml -./: {man1 xhtml}{bpkg bpkg-common-options bpkg-repository-signing $cmds} \ - css{common pre-box man} \ +./: {man1 xhtml}{bpkg bpkg-common-options bpkg-repository-signing \ + bpkg-repository-types bpkg-argument-grouping $cmds} \ + css{common pre-box man} \ file{man-*} ./: doc{build2-package-manager-manual*} \ |