[m-rev.] diff: don't include unused library modules in documentation

[Julien Fischer]

Branches: main

doc/Mmakefile:
 	Don't include the now empty graph and group modules in the
 	library documentation.

Julien.

Index: doc/Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.57
diff -u -r1.57 Mmakefile
--- doc/Mmakefile	29 Mar 2012 04:03:11 -0000	1.57
+++ doc/Mmakefile	4 Jul 2012 11:06:25 -0000
@@ -254,6 +254,10 @@
  				;;					\
  			$(LIBRARY_DIR)/erlang_rtti_implementation.m)	\
  				;;					\
+			$(LIBRARY_DIR)/graph.m)				\
+				;;					\
+			$(LIBRARY_DIR)/group.m)				\
+				;;					\
  			$(LIBRARY_DIR)/mer_std.m)			\
  				;;					\
  			$(LIBRARY_DIR)/mutvar.m)			\
@@ -298,6 +302,10 @@
  				;;					\
  			$(LIBRARY_DIR)/erlang_rtti_implementation.m)	\
  				;;					\
+			$(LIBRARY_DIR)/graph.m)				\
+				;;					\
+			$(LIBRARY_DIR)/group.m)				\
+				;;					\
  			$(LIBRARY_DIR)/mer_std.m)			\
  				;;					\
  			$(LIBRARY_DIR)/mutvar.m)			\

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------