From a6a7f8723564a67bc10c6f879fde528589a6521b Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Sun, 29 Nov 2015 17:56:48 -0500 Subject: grub: only run distclean if a makefile exists (fixes build error) --- (limited to 'docs/src/install') -- cgit v0.9.1