diff options
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index be3711f..b59370e 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile | |||
| @@ -17,7 +17,7 @@ else | |||
| 17 | endif | 17 | endif |
| 18 | 18 | ||
| 19 | define manpage.xsl | 19 | define manpage.xsl |
| 20 | if [ ! -f ${MANPAGE_DOCBOOK_XSL} ]; then \ | 20 | if [ -z ${MANPAGE_DOCBOOK_XSL} ]; then \ |
| 21 | echo "*********************************"; \ | 21 | echo "*********************************"; \ |
| 22 | echo "** No docbook.xsl is installed **"; \ | 22 | echo "** No docbook.xsl is installed **"; \ |
| 23 | echo "** Can't make man pages **"; \ | 23 | echo "** Can't make man pages **"; \ |