| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Jul 22 15:32:02 EDT 2013 |
|
At Mon, 22 Jul 2013 20:48:14 +0200, Togan Muftuoglu wrote: > However one thing is missing, the man pages are not installed by the make > install phase. For openSUSE (yet it should be the same for other distros) > every executable file should have a man page. I've updated "info.rkt" files so that the man pages we have are now installed. There are still many executables without man pages (i.e., we never had them).
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}