diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index a4f253d23e9725a93b0916e0d9a680544ea93674..bd3aa9bb9c676b4708f0f9de41ea10c3ba2c2563 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -49,7 +49,7 @@ SET(HTMLDIR ${DOCDIR}/html)
 # Add `doc' target.
 ADD_CUSTOM_TARGET(
   doc ALL
-  DEPENDS html/index.html dg-coshell.1.gz)
+  DEPENDS html/index.html dg-shell.1.gz dg-shell-plugin.1.gz)
 
 
 # Generate Doxygen configuration file.