diff options
| -rw-r--r-- | buildfile | 5 | ||||
| -rw-r--r-- | doc/buildfile | 12 |
2 files changed, 5 insertions, 12 deletions
@@ -5,9 +5,8 @@ define sh: file sh{*}: extension = -./: sh{bootstrap buildos genmacaddr init qemu-ifup} \ - doc/ doc{INSTALL LICENSE NEWS README version} \ - file{buildos.service manifest} +./: {*/ -build/} sh{bootstrap buildos genmacaddr init qemu-ifup} \ + doc{INSTALL LICENSE NEWS README version} file{buildos.service manifest} doc{version}: file{manifest} # Generated by the version module. doc{version}: dist = true diff --git a/doc/buildfile b/doc/buildfile index aa27936..9aad75a 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -5,14 +5,8 @@ define css: file css{*}: extension = css -./: doc{build2-buildos-manual.xhtml \ - build2-buildos-manual-a4.pdf \ - build2-buildos-manual-a4.ps \ - build2-buildos-manual-letter.pdf \ - build2-buildos-manual-letter.ps} \ - css{code-box common doc pre-box toc} \ - file{a4.html2ps letter.html2ps doc.html2ps} \ - file{doc-prologue.xhtml doc-epilogue.xhtml \ - manual.cli} +./: doc{build2-buildos-manual*} \ + css{code-box common doc pre-box toc} \ + file{manual.cli doc-* *.html2ps} ./: file{cli.sh} |