diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/GNUmakefile | 2 |
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") \ |
