mirror of
https://github.com/boostorg/build.git
synced 2026-02-13 12:22:17 +00:00
@@ -206,6 +206,7 @@ rule generate-xml-catalog ( target : sources * : properties * )
|
||||
|
||||
# BoostBook DTD catalog entry
|
||||
local boostbook-dtd-dir = [ boostbook.dtd-dir ] ;
|
||||
boostbook-dtd-dir = [ regex.replace $(boostbook-dtd-dir) " " "%20" ] ;
|
||||
|
||||
print.text
|
||||
"<?xml version=\"1.0\"?>"
|
||||
@@ -217,6 +218,7 @@ rule generate-xml-catalog ( target : sources * : properties * )
|
||||
: true ;
|
||||
|
||||
local docbook-xsl-dir = [ boostbook.docbook-xsl-dir ] ;
|
||||
docbook-xsl-dir = [ regex.replace $(docbook-xsl-dir) " " "%20" ] ;
|
||||
if ! $(docbook-xsl-dir)
|
||||
{
|
||||
ECHO "BoostBook warning: no DocBook XSL directory specified." ;
|
||||
@@ -233,6 +235,7 @@ rule generate-xml-catalog ( target : sources * : properties * )
|
||||
}
|
||||
|
||||
local docbook-dtd-dir = [ boostbook.docbook-dtd-dir ] ;
|
||||
docbook-dtd-dir = [ regex.replace $(docbook-dtd-dir) " " "%20" ] ;
|
||||
if ! $(docbook-dtd-dir)
|
||||
{
|
||||
ECHO "BoostBook warning: no DocBook DTD directory specified." ;
|
||||
|
||||
@@ -296,7 +296,7 @@ rule quickbook-to-boostbook ( target : source : properties * )
|
||||
|
||||
actions quickbook-to-boostbook
|
||||
{
|
||||
$(QB-COMMAND) --output-file=$(1) $(2)
|
||||
"$(QB-COMMAND)" --output-file=$(1) $(2)
|
||||
}
|
||||
|
||||
# Declare a main target to convert a quickbook source into a boostbook
|
||||
|
||||
Reference in New Issue
Block a user