Makefile robustness tweak
commit926b6163f1fd26c00b3f77da7838766647e26803
authorBarak A. Pearlmutter <barak@cs.nuim.ie>
Mon, 30 May 2011 08:25:35 +0000 (30 09:25 +0100)
committerCarsten Dominik <carsten.dominik@gmail.com>
Tue, 31 May 2011 11:42:26 +0000 (31 13:42 +0200)
tree3f5c721705f47293157f7f35c763844c112080ff
parent35baef01b0239315dbcf423a655d281d69f2b4c0
Makefile robustness tweak

From 7c79ea0a21ad6d2646958d25c298a1ac9624e9f6 Mon Sep 17 00:00:00 2001
From: Barak A. Pearlmutter <barak+git@cs.nuim.ie>
Date: Sun, 29 May 2011 22:20:31 +0100
Subject: [PATCH] fail to rm or build incorrect files when doc directory nonexistent
Makefile