diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/buildfile | 2 | ||||
| -rwxr-xr-x | doc/cli.sh | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/doc/buildfile b/doc/buildfile index 6fbdb81..9a6929d 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -14,7 +14,7 @@ define xhtml: doc xhtml{*}: extension = xhtml ./: {man1 xhtml}{bdep bdep-common-options $cmds} \ - css{common pre-box man} \ + css{common pre-box man} \ file{man-*} ./: file{cli.sh} @@ -14,8 +14,8 @@ while [ $# -gt 0 ]; do --clean) rm -f bdep*.xhtml bdep*.1 rm -f build2-project-manager-manual*.ps \ - build2-project-manager-manual*.pdf \ - build2-project-manager-manual.xhtml + build2-project-manager-manual*.pdf \ + build2-project-manager-manual.xhtml exit 0 ;; *) |