# Ignore duplicate files in the generated Javadoc
derby-doc binary: duplicate-files usr/share/doc/derby-doc/javadoc/*
