#!/bin/sh
# Get modification time of a file or directory and pretty-print it.
# Copyright 2005, Sylvain Fourmanoit <syfou@users.sourceforge.net>
# 
# Non-portable, multi-language replacement for original mdate-sh
# script by Ulrich Drepper <drepper@gnu.ai.mit.edu>.
#

# Set locale according to file suffix
#
LOCALE=`echo "$1" | \
sed -n '/\_\([^\.]\+\)\.texi$/{s/[^_]\+_\([^\.]\+\)\.texi/\1_\U\1/;p}'`
: ${LOCALE:=en_US}
export LC_ALL=${LOCALE}

# Get the date in a 'DD MM YY' format
#
find . -name "$(basename $1)" -printf "%Ad %AB %AY\n"
