Noop the docs build for Monitor, since it's causing issues on f10

diff --git a/docs/Makefile b/docs/Makefile
index 860e0bd..8b7d000 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -8,6 +8,10 @@
 #
 
 all: Monitor.html
+Monitor.html:
+       touch Monitor.html
+Monitor.pdf:
+       touch Monitor.pdf
 
 # XML - as opposed to SGML - requires an identifier - see 
 # http://www.docbook.org/tdg/en/html/appb.html