diff options
Diffstat (limited to 'doc/buildfile')
| -rw-r--r-- | doc/buildfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/buildfile b/doc/buildfile index cae209e..5d78ced 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -4,7 +4,7 @@ define css: file css{*}: extension = css -./: doc{build2-toolchain-*} \ +./: doc{build2-*} \ css{code-box common doc pre-box toc} \ file{install.cli intro.cli doc-* *.html2ps} |