diff options
-rw-r--r-- | release/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index 490a1f1..9ada74f 100644 --- a/release/Makefile +++ b/release/Makefile @@ -562,7 +562,7 @@ cdrom.1: @echo "CD_VERSION = ${BUILDNAME}" > ${CD_DISC1}/cdrom.inf @echo "CD_VERSION = ${BUILDNAME}" > ${CD_DISC2}/cdrom.inf @for i in ${DIST_DOCS}; do \ - if [ -f ${.CURDIR}/texts/$${i}; then \ + if [ -f ${.CURDIR}/texts/$${i} ]; then \ cp ${.CURDIR}/texts/$${i} ${CD_DISC1}; \ fi; \ if [ -f ${.CURDIR}/texts/${MACHINE_ARCH}/$${i} ]; then \ |