Changed SUBDIRS from users_guide to set (the former doesn't build any more except as part of the latter).