diff --git a/doc/Makefile b/doc/Makefile
index 1f22b0ea466fba622ec2345c470e1f49fc61360b..1141e1432e97b0431a77afc32ef53eb5cfa3b087 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
all: ${COMPILED}
%.html: %.txt
- ${PYTHON} ${STXTOHTML} -d -v $< $@
+ ${PYTHON} ${STXTOHTML} -d $< $@