# The name of this file does not mention the aliversion.
# Instead we use that -dev is the first package in debian/control.
Docs/UsersGuide.html
Docs/UsersGuide.txt
Docs/opentoken.html
Docs/wisi-user_guide.html
Docs/wisi-user_guide.txt
