diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-08-20 10:05:27 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-08-20 10:05:27 +0000 |
| commit | 9b96c57db820b42f14f63240b1fd828dc749ecb2 (patch) | |
| tree | 9b61363d980aba54c0b6bffcce01b397705c5bb4 /admin/README | |
| parent | e4494044fbe19bf8d33e5ecfb008c566b94bc77d (diff) | |
| download | emacs-9b96c57db820b42f14f63240b1fd828dc749ecb2.tar.gz | |
*** empty log message ***
Diffstat (limited to 'admin/README')
| -rw-r--r-- | admin/README | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/admin/README b/admin/README index 699e33d25f8..95e8a25c11c 100644 --- a/admin/README +++ b/admin/README @@ -5,6 +5,7 @@ what you do when using them. Brief description of scripts found here: -build-configs build Emacs in various configurations -make-emacs build Emacs in various ways -revdiff get CVS diffs of files +build-configs build Emacs in various configurations +check-doc-strings check doc strings against documentation +make-emacs build Emacs in various ways +revdiff get CVS diffs of files |