Changeset 85328

Timestamp:

Aug 12, 2013, 9:42:20 PM (9 years ago)

Author:

Daniel James

Message:

Remove incorrect note about document id.

The document id has never been generated from the filename. It comes
from the docinfo id attribute, or if that doesn't exist, it's
generated from the document title. Although, thanks to bugs, it's a bit
more complicated than that.

(No files)