dtbook-to-sbsform: port of dtbook2sbsform