The current version of pack logtalk does not contain a file logtalk-3.86.0/doc/manual.html
logtalk
logtalk-3.86.0/doc/manual.html