mirror of
https://github.com/boostorg/build.git
synced 2026-02-15 13:02:11 +00:00
9 lines
254 B
Plaintext
9 lines
254 B
Plaintext
project tools/build/v2/doc ;
|
|
|
|
boostbook userman : src/userman.xml ;
|
|
|
|
# Copy stylesheet and images from 'official' docs location
|
|
stage html : ../../../../doc/html/boostbook.css ;
|
|
stage html/images
|
|
: [ path.glob ../../../../doc/html/images : *.png ] ;
|