# All these are correct
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/clause-processors/SULFA/books/]
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/projects/paco/books/]
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/workshops/2000/cowles/books/]
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/workshops/2006/pike-shields-matthews/core_verifier/books/]
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/workshops/2013/joosten-van-gastel-schmaltz/books/]
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/workshops/2013/van-gastel-schmaltz/books/]
acl2-books-source: repeated-path-segment books [usr/share/acl2-8.6+dfsg/books/workshops/2013/verbeek-schmaltz/books/]
acl2-books-source: repeated-path-segment clause-processors [usr/share/acl2-8.6+dfsg/books/clause-processors/SULFA/books/clause-processors/]
acl2-books-source: repeated-path-segment pipeline [usr/share/acl2-8.6+dfsg/books/workshops/2000/manolios/pipeline/pipeline/]
acl2-books-source: repeated-path-segment support [usr/share/acl2-8.6+dfsg/books/rtl/rel11/rel9-rtl-pkg/support/support/]
acl2-books-source: repeated-path-segment support [usr/share/acl2-8.6+dfsg/books/rtl/rel9/support/support/]
acl2-books-source: repeated-path-segment y86 [usr/share/acl2-8.6+dfsg/books/models/y86/y86-basic/y86/]
acl2-books-source: repeated-path-segment y86 [usr/share/acl2-8.6+dfsg/books/models/y86/y86-two-level-abs/y86/]
acl2-books-source: repeated-path-segment y86 [usr/share/acl2-8.6+dfsg/books/models/y86/y86-two-level/y86/]
