diff options
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 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} |