On Sat, May 22, 1999 at 12:08:00AM +0100, Steve Haslam wrote: > gtk-doc is the upstream name, but a more distinct name may be > preferred to distinguish it from gtk+-docs, libgtk1.2-doc, gnome-docu, > gnome-dev-info... Perhaps "gtk-doc-tools" ? Maybe keep the source > called gtk-doc and call the binary gtk-doc-tools... Suggestions welcome. Keep the source package named "gtk-doc", following the upstream. -- enJoy -*/\*- http://jagor.srce.hr/~jrodin/