/dev-lang/logtalk/files/
../
logtalk-3.00.0-no-user-docs.patch
logtalk-3.03.0-no-user-docs.patch