#!/bin/bash if [ "${DOCBOOK_DIR}" = "" ];then cat <