annotate doc/man/rcs-checkin.1 @ 112318:deae5bb3f0f6

Give a name FLOAT_TO_STRING_BUFSIZE to the constant 350. * lisp.h (FLOAT_TO_STRING_BUFSIZE): New macro. * data.c (Fnumber_to_string): Use it. * print.c (float_to_string, print_object): Likewise.
author Paul Eggert <eggert@cs.ucla.edu>
date Sun, 09 Jan 2011 00:21:21 -0800
parents 1d1d5d9bd884
children 376148b31b5e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
100393
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 .\" See section COPYING for copyright and redistribution information.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 .TH rcs-checkin 1
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 .SH NAME
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 rcs-checkin \- check files into RCS
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 .SH SYNOPSIS
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 .B rcs-checkin
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 .RI [ FILE .\|.\|.]
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 .SH DESCRIPTION
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 .B rcs-checkin
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 is a helper script for checking files into RCS. This program is
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 distributed with
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 .BR "GNU Emacs" .
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 This program converts files with an old
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 .BR Emacs -style
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 version history for use with the
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 .B "Emacs 19"
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 version control interface
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 .BR VC ,
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 which likes to use RCS as its back end.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 For each file to be processed, the script looks for
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 .B Emacs
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 version files related to it. These files are checked in as deltas,
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 oldest first, so that the contents of the file itself becomes the
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 latest revision in the master.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 The first line of each file is used as its description. The file
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 itself is not deleted, as under
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 .B VC
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 with
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 .B vc-keep-workfiles
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 at its default of
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 .BR t ,
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 but all the version files are.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 If an argument file is already version-controlled under RCS, any
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 version files are added to the list of deltas and deleted, and then
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 the workfile is checked in again as the latest version. This is
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 probably not quite what was wanted, and is the main reason VC doesn't
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 simply call this to do checkins.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 In order to make it easier to use
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 .BR "rcs-checkin *" ,
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 files which are detectably either RCS masters (with names ending in
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 .BR ,v )
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 or Emacs version files (with names containing
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 .BR ~ )
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 are ignored.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 .
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 .PP
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 .SH OPTIONS
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 The program accepts no options.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 .
100410
98a6323ace20 Add "SEE ALSO" section.
Glenn Morris <rgm@gnu.org>
parents: 100393
diff changeset
55 .SH SEE ALSO
98a6323ace20 Add "SEE ALSO" section.
Glenn Morris <rgm@gnu.org>
parents: 100393
diff changeset
56 The Emacs version control interface is documented in the GNU Emacs manual,
98a6323ace20 Add "SEE ALSO" section.
Glenn Morris <rgm@gnu.org>
parents: 100393
diff changeset
57 which you can read using
98a6323ace20 Add "SEE ALSO" section.
Glenn Morris <rgm@gnu.org>
parents: 100393
diff changeset
58 .BR Info ,
98a6323ace20 Add "SEE ALSO" section.
Glenn Morris <rgm@gnu.org>
parents: 100393
diff changeset
59 either from Emacs or as a standalone program.
98a6323ace20 Add "SEE ALSO" section.
Glenn Morris <rgm@gnu.org>
parents: 100393
diff changeset
60 .
100393
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 .SH AUTHORS
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 .I rcs-checkin
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 was originally written by Paul Eggert. It was revised for use with
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 .B "GNU Emacs"
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 .B VC
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 by Eric S. Raymond.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 .
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 .SH COPYING
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 Copyright
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
70 .if t \(co
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
71 .if n (C)
106815
1d1d5d9bd884 Add 2010 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 100974
diff changeset
72 2008, 2009, 2010 Free Software Foundation, Inc.
100393
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
73 .PP
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
74 Permission is granted to make and distribute verbatim copies of this
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
75 document provided the copyright notice and this permission notice are
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
76 preserved on all copies.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
77 .PP
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
78 Permission is granted to copy and distribute modified versions of
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
79 this document under the conditions for verbatim copying, provided that
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
80 the entire resulting derived work is distributed under the terms of
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
81 a permission notice identical to this one.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
82 .PP
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
83 Permission is granted to copy and distribute translations of this
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
84 document into another language, under the above conditions for
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
85 modified versions, except that this permission notice may be stated
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
86 in a translation approved by the Free Software Foundation.
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
87 .
a93844ef7551 New file. Basic man-page, largely from script commentary.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
88 .\" arch-tag: d903862f-cc72-487c-8fd2-5c63677f325d