Fix some problems with the man pages, and make sure they get installed.

Estimated hours taken: 1

Fix some problems with the man pages, and make sure they get installed.

doc/make_manpages:
	Fix a problem in the formatting of the `mmake' manpage.

doc/Mmakefile:
	Make sure that `mmake install' will install the manpages.
	Also change the handling of `mmake clean' so that it cleans
	up the manpages.

doc/Mmakefile

@@ -139,7 +139,8 @@ doc.ps.tar.gz: ps
 #-----------------------------------------------------------------------------#
 
 .PHONY: install
-install: install_info install_html install_dvi
+install: install_info install_html install_dvi install_manpages
+	# install_text install_ps
 
 .PHONY: install_info
 install_info: info
@@ -205,7 +206,7 @@ distclean:
 clean_texi:
 	rm -f library-menu.texi library-chapters.texi
 
-realclean: realclean_texi
+realclean: realclean_texi realclean_manpages
 
 .PHONY: realclean_texi
 realclean_texi:
@@ -213,4 +214,8 @@ realclean_texi:
 	rm -f faq*.html transition_guide*.html
 	rm -f mercury_*.info* *.dvi *.text *.ps
 
+.PHONY: realclean_manpages
+realclean_manpages:
+	rm -f *.1
+
 #-----------------------------------------------------------------------------#

doc/make_manpage

@@ -26,6 +26,12 @@ manpage="`$program --help 2>&1 \
 /'			\
 		-e '/^[A-Za-z ]*:/s//.SH &\\
 /'			\
+		-e '/^	[^-	].*:/s/^	.*$/	.Ve\\
+.B\\
+.Vb 1\\
+\\\\\\& &\\
+.Ve\\
+.Vb 2/' 					\
 		-e '/^	-/s/^	.*$/	.Ve\\
 .B\\
 .Vb 1\\