From a6a7f8723564a67bc10c6f879fde528589a6521b Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
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/grub/index.texi')

--
cgit v0.9.1