From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,430e73ffe1dca4e9
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!feeder.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: How to exit a loop with keyboard input
Date: Fri, 16 Apr 2010 05:43:22 +0100
Organization: A noiseless patient Spider
Message-ID: <m2zl1480t1.fsf@pushface.org>
References: 
 <176f2831-ce2a-4bb1-9e04-47f662fc7176@q23g2000yqd.googlegroups.com>
	<fac52fea-ee47-4d08-b322-7098fb68ea1e@i37g2000yqn.googlegroups.com>
	<20100412181434.dd154269.tero.koskinen@iki.fi>
	<m2hbnga13r.fsf@pushface.org>
	<f9a79b46-ea42-40c9-a806-72a4ef1ef6cf@b33g2000yqc.googlegroups.com>
	<m2d3y39he9.fsf@pushface.org>
	<cde1ed80-fcd9-430d-bb96-07556e58665d@30g2000yqi.googlegroups.com>
	<nospam-34472E.00082615042010@news.aioe.org>
	<780f0643-3c51-4cc6-827e-3fd68d477423@x12g2000yqx.googlegroups.com>
	<nospam-74FB98.20444115042010@news.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Fri, 16 Apr 2010 04:43:22 +0000 (UTC)
Injection-Info: news.eternal-september.org;
 posting-host="KCXegvZb5vh43D+f3BR6Ew";
	logging-data="19428"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+UxqActhPO0Yt/7alc62MY0H+lwJtqzaE="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (darwin)
Cancel-Lock: sha1:VyBVHrFnN+JaO9a5U533SYYvDtU=
	sha1:ke0u6Pqa03wBndB+k1/a44XMUbA=
Xref: g2news2.google.com comp.lang.ada:10979
Date: 2010-04-16T05:43:22+01:00
List-Id: <comp.lang.ada>

The installed .ali files should be made read-only (which may mean adding
-f to the cp, rm calls).

Not sure about the uninstall target -- shouldn't the original be
replaced, if there was one?