diff --git a/Makefile b/Makefile
index a5746f5..8d86bc8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,6 @@
 EXTRA_DIR:= doc-config
 COQDOCFLAGS:= \
   --toc --toc-depth 2 --html --interpolate \
-	-d docs \
   --index indexpage --no-lib-name --parse-comments \
   --with-header $(EXTRA_DIR)/header.html --with-footer $(EXTRA_DIR)/footer.html
 export COQDOCFLAGS