Bo Peng wrote: > Dear list, > > Currently, if a help document is reload by the session system, it will > be added to lastfile list. This patch corrects this.
I don't understand that. What does "is reload by the session system" mean? And of course (as you alreday noticed) we do not want identical code to be moved to the frontends. Georg
