commit 5875fc45cfeb458f5f66488b2250a06d585d0cf8
author Zack Williams <zdw@cs.arizona.edu> Mon Sep 25 18:01:47 2017 -0700
committer Zack Williams <zdw@cs.arizona.edu> Wed Sep 27 14:17:28 2017 -0700
tree 49419311a00fc86bd0e7502fa8dc593e4836dedd
parent 881ece853eb390abc1dea9e388e4d0b9ba0c51da

[CORD-1924]
Documentation followup patch

Change-Id: I4387182ca58fa3fbb6ebda12f94f46e1a847e68f
(cherry picked from commit 144027fe2249450b7a95b2171e0dcf8540703789)

Makefile

diff --git a/Makefile b/Makefile
index 66597e7..c86d29b 100644
--- a/Makefile
+++ b/Makefile
@@ -121,7 +121,7 @@
 clean-all: virsh-domain-destroy vagrant-destroy clean-profile clean-genconfig
 	rm -f $(ALL_MILESTONES)
 
-clean-local: clean-profile clean-genconfig
+clean-local: clean-profile clean-genconfig clean-images
 	rm -f $(LOCAL_MILESTONES)
 
 clean-onos: