From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mx.stare.cz (ns.stare.cz [79.98.77.229]) by fantadrom.bsd.lv (OpenSMTPD) with ESMTP id 76cb1467 for ; Thu, 30 Mar 2017 14:22:29 -0500 (EST) Received: from www.stare.cz (localhost [127.0.0.1]) by www.stare.cz (OpenSMTPD) with ESMTP id cbc76aa8 for ; Thu, 30 Mar 2017 21:22:28 +0200 (CEST) Date: Thu, 30 Mar 2017 21:22:28 +0200 From: Jan Stary To: discuss@mdocml.bsd.lv Subject: make uninstall fails in rmdir Message-ID: <20170330192228.GA89598@www.stare.cz> X-Mailinglist: mdocml-discuss Reply-To: discuss@mdocml.bsd.lv MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.7.1 (2016-10-04) Hi Ingo, this is 1.14.1 on a MacOSX 10.6.8 mandoc itself seems to work just fine, but 'make uninstall' fails with the rmdir $(DESTDIR)$(INCLUDEDIR) as the directory was not created with 'make install', because I have not installed the library (right?). It's actually the last command of the uninstall target so the failure does not stop anything else from happening, but it still leaves the user wondering if something was left behind (non-unistalled) when 'make uninstall' failed. Jan -- To unsubscribe send an email to discuss+unsubscribe@mdocml.bsd.lv