view lib-src/gzip-el.sh @ 5254:1537701f08a1

Support Roman month numbers, #'format-time-string src/ChangeLog addition: 2010-09-02 Aidan Kehoe <kehoea@parhasard.net> * strftime.c (roman_upper, roman_lower, strftime): Implement Roman month numbers, as used in central and eastern Europe. * editfns.c (Fformat_time_string): Document two new escapes, to allow uppercase and lowercase Roman month numbers. Remove documentation of a bug that we didn't actually have. * text.h (Qtime_function_encoding): We know the text encoding coming from strftime(), because we always use the one in strftime.c. Don't use Qnative. man/ChangeLog addition: 2010-09-02 Aidan Kehoe <kehoea@parhasard.net> * lispref/os.texi (Time Conversion): Document the new #'format-time-string flags for Roman month numbers.
author Aidan Kehoe <kehoea@parhasard.net>
date Thu, 02 Sep 2010 12:00:06 +0100
parents 3ecd8885ac67
children 308d34e9f07d
line wrap: on
line source

#! /bin/sh
### gzip-el.sh --- compress superfluous installed source lisp

# Author:	Jeff Miller <jmiller@smart.net>
# Author:	Hrvoje Niksic <hniksic@xemacs.org>
# Maintainer:	Steve Baur <steve@xemacs.org>
# Created:	13 Feb 1997
# Version:	1.0
# Keywords:	internal

# This file is part of XEmacs.

# XEmacs is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2, or (at your option)
# any later version.

# XEmacs is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# General Public License for more details.

# You should have received a copy of the GNU General Public License
# along with XEmacs; see the file COPYING.  If not, write to
# the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
# Boston, MA 02111-1307, USA.

#
#
echo Compressing .el files in "$1"...

find "$1" -type f -name "*.el" -print |
	while read file; do
		[ -s "${file}c" ] && echo "$file" && gzip -f9 "$file"
	done

echo Compressing .el files in "$1"...done.