diff --git a/src/tools/auto-index.jam b/src/tools/auto-index.jam index 5c5c1d06c..41d04828a 100644 --- a/src/tools/auto-index.jam +++ b/src/tools/auto-index.jam @@ -157,15 +157,7 @@ class auto-index-generator : generator #ECHO "binary = " $(auto-index-binary) ; #ECHO "dependencies = " $(auto-index-binary-dependencies) ; - if [ $(property-set).get ] = "on" - { - return [ generator.run $(project) $(name) : $(property-set) : $(sources) ] ; - } - else - { - return [ generators.construct $(project) $(name) : DOCBOOK : $(property-set) - : $(sources) ] ; - } + return [ generator.run $(project) $(name) : $(property-set) : $(sources) ] ; } } @@ -192,7 +184,7 @@ rule init ( toolset.flags auto-index.auto-index AI-COMMAND ; toolset.flags auto-index.auto-index AI-DEPENDENCIES ; -generators.register [ class.new auto-index-generator auto-index.auto-index : DOCBOOK : DOCBOOK(%.auto_index) ] ; +generators.register [ class.new auto-index-generator auto-index.auto-index : DOCBOOK : DOCBOOK(%.auto_index) : on ] ; generators.override auto-index.auto-index : boostbook.boostbook-to-docbook ; rule auto-index ( target : source : properties * )