On 21 Sep 2005, at 22:46, Daniel Macks wrote:
Currently, DocFiles takes a list of filenames (including shell
globbing), and allows renaming ("DocFiles:foo:bar" installs the file
"foo" from the source dir as "bar" in the doc dir). A fairly common
(in gnome at least) situation is that there is m
On Sep 21, 2005, at 1:46 PM, Daniel Macks wrote:
Currently, DocFiles takes a list of filenames (including shell
globbing), and allows renaming ("DocFiles:foo:bar" installs the file
"foo" from the source dir as "bar" in the doc dir). A fairly common
(in gnome at least) situation is that there is
Currently, DocFiles takes a list of filenames (including shell
globbing), and allows renaming ("DocFiles:foo:bar" installs the file
"foo" from the source dir as "bar" in the doc dir). A fairly common
(in gnome at least) situation is that there is more than one file with
the same name (in different
