On 09/04/14 19:08, Michael Palimaka wrote: > Hi, > > I noticed that kdeinit5 is in kinit, and its man page appears to be in > kservice. I guess the man page should be moved, but I'm not sure of the > best procedure with regards to preserving history etc. I've done this now. Alex