# HG changeset patch # User Paul Boddie # Date 1460913939 -7200 # Node ID 2387c22774485159e8878084d5f7d210d0ebf6dd # Parent 5608eded7f4da694da0fef959f6d36fdf6f2c085 Filter out irrelevant user database files when configuring. Added copying of the aliases example file. diff -r 5608eded7f4d -r 2387c2277448 conf/tools/configure.sh --- a/conf/tools/configure.sh Sun Apr 17 18:59:06 2016 +0200 +++ b/conf/tools/configure.sh Sun Apr 17 19:25:39 2016 +0200 @@ -31,7 +31,7 @@ if [ ! -e "$CONF" ]; then cat 1>&2 < "$OUTDIR/$FILENAME" done done + +# Copy other files. + +cp "$CONF/aliases.example" "$OUTDIR/$CONF/aliases"