diff --git a/src/doc/full-toc.inc b/src/doc/full-toc.inc index 35681f1796d..604a65dc8a9 100644 --- a/src/doc/full-toc.inc +++ b/src/doc/full-toc.inc @@ -1,6 +1,11 @@