Hello Niels, I have changed install-info to exit successfully if --remove was specified and the dir file was not found.
Gavin ---------- Forwarded message ---------- Date: Wed, 16 Apr 2014 09:27:30 +0200 From: [email protected] (Niels =?iso-8859-1?Q?M=F6ller?=) To: [email protected] Subject: [help-texinfo] Using install-info --remove Is there some way to tell install-info --remove to not care (a bit like rm -f)? Or should I update the make rule to invoke install-info only if the dir file exists? And in any case, I don't think install-info --remove should ever attempt to *create* a new dir file. Regards, /Niels
