diff options
-rw-r--r-- | src/index.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/index.cpp b/src/index.cpp index 2fdd0de..50c3250 100644 --- a/src/index.cpp +++ b/src/index.cpp @@ -3173,9 +3173,10 @@ static void writePageIndex(OutputList &ol) PageDef *pd=0; for (pdi.toFirst();(pd=pdi.current());++pdi) { - if (pd->getOuterScope()==0 || - pd->getOuterScope()->definitionType()!=Definition::TypePage - ) // not a sub page + if ((pd->getOuterScope()==0 || + pd->getOuterScope()->definitionType()!=Definition::TypePage) && // not a sub page + !pd->isReference() // not an external page + ) { writePages(pd,ftv); } |