summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--docs/GNUmakefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/GNUmakefile b/docs/GNUmakefile
index 7d1eeba7d..abb14601d 100644
--- a/docs/GNUmakefile
+++ b/docs/GNUmakefile
@@ -16,7 +16,7 @@ define XSLScript
endef
define XSLT
- xmllint --noout --valid $2; \
+ xmllint --noout --valid $2
xsltproc -o $3 \
$(shell echo $4 \\
| sed -e "s/\([^= ]*\)=\([^= ]*\)/--param \1 \"'\2'\"/g") \