From d0630a5c4106adc173428bce882a406bef464215 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 28 Oct 2019 12:22:53 +0200 Subject: Add bdep-default-options-files(1) help topic --- doc/buildfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'doc/buildfile') diff --git a/doc/buildfile b/doc/buildfile index 2e31fc0..564ed7a 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -25,8 +25,9 @@ css{*}: extension = css define xhtml: doc xhtml{*}: extension = xhtml -./: {man1 xhtml}{bdep bdep-common-options bdep-projects-configs $cmds} \ - css{common pre-box man} \ +./: {man1 xhtml}{bdep bdep-common-options bdep-projects-configs \ + default-options-files $cmds} \ + css{common pre-box man} \ file{man-*} ./: file{cli.sh} -- cgit v1.1