From ce823507cd1617bdd222522a1f413bb8958ab197 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Tue, 31 Jul 2012 17:22:13 -0700
Subject: [PATCH] Fix man page install.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ac83ca5..c667a03 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ test: $(MININET) $(TEST)
 	-echo "Running tests"
 	mininet/test/test_nets.py
 
-install: $(MNEXEC) $(MANPAGE)
+install: $(MNEXEC) $(MANPAGES)
 	install $(MNEXEC) $(BINDIR)
 	install $(MANPAGE) $(MANDIR)
 	python setup.py install
@@ -38,7 +38,7 @@ install: $(MNEXEC) $(MANPAGE)
 develop: $(MNEXEC) $(MANPAGE)
 	# Perhaps we should link these as well
 	install $(MNEXEC) $(BINDIR)
-	install $(MANPAGE) $(MANDIR)
+	install $(MANPAGES) $(MANDIR)
 	python setup.py develop
 
 man: $(MANPAGES)