On Sat, 23 Feb 2008, Jesper Louis Andersen wrote:
> A patch is attached to this file proposing a man-page update.
>
> I don't think we are distributing ps.gz files anymore, but rather pdf files.
> Case in point:
>
> ogre% grep -r pdf Makefile
> bin/make-pdf-guide; \
> if [ -r "$(TDOC)/guide/mlton-guide.pdf" ]; then \
> mv "$(TDOC)/guide/mlton-guide.pdf" "$(TDOC)/"; \
> $(CP) $(LEX)/$(LEX).pdf $(TDOC)
> $(CP) $(YACC)/$(YACC).pdf $(TDOC)
>
> Reflect this in the man-page. The hinted location is the default location on
> Linux. I'll take the change in the FreeBSD port with a patch to the man-page
> as it tends to be a lot easier than having to run a M4/CPP preprocessor step
> on the man-pages.
>
> I'll commit if you agree.
Looks fine.
_______________________________________________
MLton mailing list
MLton@mlton.org
http://mlton.org/mailman/listinfo/mlton
(text/plain)