mirror of
https://github.com/boostorg/build.git
synced 2026-02-02 08:42:13 +00:00
20 lines
465 B
Plaintext
20 lines
465 B
Plaintext
|
|
project tools/build/v2/doc
|
|
;
|
|
|
|
boostbook userman : src/userman.xml
|
|
: <xsl:param>toc.section.depth=1
|
|
<xsl:param>doc.standalone=true
|
|
<xsl:param>nav.layout=none
|
|
;
|
|
|
|
if ! $(BOOST_ROOT)
|
|
{
|
|
BOOST_ROOT = [ modules.peek : BOOST_ROOT ] ;
|
|
}
|
|
|
|
# Copy stylesheet and images from 'official' docs location
|
|
stage html : $(BOOST_ROOT)/doc/html/boostbook.css ;
|
|
stage html/images
|
|
: [ path.glob $(BOOST_ROOT)/doc/html/images : *.png ] ;
|