#!/bin/bash
author_file="_darcs/prefs/author"
if [ -f $author_file ]; then
    echo "Suppression de $author_file."
    rm -f $author_file
fi