annotate admin/diff-tar-files @ 50592:73473fb92184

(latex-mode-map): Bind latex-split-block to C-c C-s. (tex-font-lock-keywords-2): Comment out unused var `type'. (tex-guess-mode): New name for old `tex-mode'. (tex-mode): Make it a derived mode of text-mode. (plain-tex-mode, latex-mode): Change parent from text-mode to tex-mode. (tex-common-initialization): Don't setup syntax-table any more. (tex-validate-buffer): Remove unused var `oend'. Use with-current-buffer and line-beginning-position. (tex-recenter-output-buffer): Remove unused var `old-buffer'. (latex-indent): Return `noindent' if no indentation can happen. (doctex-font-lock-^^A, doctex-font-lock-syntactic-face-function) (doctex-font-lock-syntactic-keywords, doctex-font-lock-keywords) (doctex-mode): New funs for DocTeX mode, derived from LaTeX mode.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 14 Apr 2003 19:58:05 +0000
parents c296bfdefcc3
children 695cf19ef79e d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
39058
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
1 #! /bin/sh
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
2
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
3 # Copyright (C) 2001 Free Software Foundation, Inc.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
4 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
5 # This file is part of GNU Emacs.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
6 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
7 # GNU Emacs is free software; you can redistribute it and/or modify
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
8 # it under the terms of the GNU General Public License as published by
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
9 # the Free Software Foundation; either version 2, or (at your option)
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
10 # any later version.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
11 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
12 # GNU Emacs is distributed in the hope that it will be useful,
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
15 # GNU General Public License for more details.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
16 #
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
17 # You should have received a copy of the GNU General Public License
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
18 # along with GNU Emacs; see the file COPYING. If not, write to the
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
19 # Free Software Foundation, Inc., 59 Temple Place - Suite 330,
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
20 # Boston, MA 02111-1307, USA.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
21
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
22 if [ $# != 2 ]; then
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
23 cat <<EOF
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
24 Usage: $0 OLD-TAR NEW-TAR
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
25
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
26 Print a diff of the files in OLD-TAR and NEW-TAR. Used for checking
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
27 the contents of Emacs tar files.
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
28 EOF
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
29 exit 1;
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
30 fi
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
31
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
32 old_tar=$1
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
33 new_tar=$2
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
34
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
35 old_tmp=/tmp/old.$$
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
36 new_tmp=/tmp/new.$$
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
37 trap "rm -f $old_tmp $new_tmp; exit 1" 1 2 15
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
38
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
39 tar tzf $old_tar | sed -e 's,^[^/]*,,' | sort > $old_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
40 tar tzf $new_tar | sed -e 's,^[^/]*,,' | sort > $new_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
41 diff -u $old_tmp $new_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
42 rm -f $new_tmp $old_tmp
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
43
c296bfdefcc3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
44