1 files changed, 4 insertions, 0 deletions
diff --git a/src/commentscan.l b/src/commentscan.l
index 159f256..ac83729 100644
--- a/src/commentscan.l
+++ b/src/commentscan.l
@@ -2949,6 +2949,10 @@ static bool handleToc(const QCString &, const QCStringList &optList)
         {
           current->localToc.enableXml(level);
         }
+        else if (opt == "docbook")
+        {
+          current->localToc.enableDocbook(level);
+        }
         else
         {
           warn(yyFileName,yyLineNr,"Unknown option specified with \\tableofcontents: `%s'", (*it).stripWhiteSpace().data());