Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /admin/README.md
ViewVC logotype

View of /admin/README.md

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4783 - (download) (annotate)
Tue Sep 4 14:35:51 2018 UTC (5 months, 2 weeks ago) by jhr
File size: 800 byte(s)
add README for admin directory
== Administration utilities for SML/NJ

This directory contains various scripts to help with the Administration
of the SML/NJ svn repository (and working copies).

  README.md			-- this file

  build-tar-files.sh		-- script to export sources from the svn repository
				   and then build zipped tar files for a distribution

  checkout-all.sh		-- script to checkout all of the sources from the
				   repository; use the `-e` option to specify the
				   **export** command to svn.

  cvs2svn-smlnj.options

  freeze-as.sh

  make-release.sh		-- tags sources with a release number

  refresh-all.sh		-- refresh all of the sources

  stat-all.sh			-- run `svn status` on all of the sources

  svn-upgrade-all.sh		-- run `svn upgrade` on all of the sources

  switch-all-svn-https.sh

  zip-bin-lib.sh

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0