diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/buildfile | 4 | ||||
| -rwxr-xr-x | doc/cli.sh | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/buildfile b/doc/buildfile index 7e6661e..f74c02a 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -20,7 +20,7 @@ bpkg-pkg-uninstall \ bpkg-pkg-unpack \ bpkg-pkg-update \ bpkg-pkg-verify \ -bpkg-rep-add \ +bpkg-rep-add \ bpkg-rep-create \ bpkg-rep-fetch \ bpkg-rep-info \ @@ -34,7 +34,7 @@ define xhtml: doc xhtml{*}: extension = xhtml ./: {man1 xhtml}{bpkg bpkg-common-options bpkg-repository-signing $cmds} \ - css{common pre-box man} \ + css{common pre-box man} \ file{man-*} ./: doc{build2-package-manager-manual*} \ @@ -14,8 +14,8 @@ while [ $# -gt 0 ]; do --clean) rm -f bpkg*.xhtml bpkg*.1 rm -f build2-package-manager-manual*.ps \ - build2-package-manager-manual*.pdf \ - build2-package-manager-manual.xhtml + build2-package-manager-manual*.pdf \ + build2-package-manager-manual.xhtml exit 0 ;; *) |