X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=build.functions;h=a96e295ef66e50612eff65e37cc752acb0c81206;hb=ddabda845fded2f97bc0e67fa839c36c4ef29d00;hp=33fe4b753dfa694ab3859f61498805bc7d5195a9;hpb=fe5c6d9840aaab12b06cffd20a3c575b67dfbc13;p=myplc.git diff --git a/build.functions b/build.functions index 33fe4b7..a96e295 100644 --- a/build.functions +++ b/build.functions @@ -80,46 +80,3 @@ EOF fi } -# quick and dirty - might break anytime if docbook html output changes -function docbook_html_to_drupal () { - title=$1; shift - html=$1; shift - php=$1; shift - - mkdir -p $(dirname $php) - if [ ! -f $html ] ; then - cat << __header_no_doc__ > $php - -

Build-time error - could not locate documentation $html

-__header_no_doc__ - else - # insert header, makes sure we have a trailing eol - (cat << __header_doc__ ; cat $html ) > $php - -__header_doc__ - # ignore ed return status - set +e - # cuts off around the - # preserves the 4 first lines that we just added as a header - ed -s $php << __ed_script__ -/BODY/ -/>/ -s,><,<, -5,-d -$ -?/BODY? -s,><.*,>, -+ -;d -w -q -__ed_script__ - set -e - fi -}