Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 7 Sep 2007 12:01:00 +0000 (UTC)
From:      Edwin Groothuis <edwin@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   cvs commit: ports/devel Makefile ports/devel/ml-doc Makefile distinfo pkg-descr pkg-plist ports/devel/ml-doc/files lib-Makefile mkdoc.1.in ml-doc.1.in patch-Makefile.in patch-config-install-sml-wrapper_sh.in patch-configure patch-tools-html-gen-do_spec.sml ...
Message-ID:  <200709071201.l87C10lf097071@repoman.freebsd.org>

next in thread | raw e-mail | index | archive | help
edwin       2007-09-07 12:01:00 UTC

  FreeBSD ports repository

  Modified files:
    devel                Makefile 
  Added files:
    devel/ml-doc         Makefile distinfo pkg-descr pkg-plist 
    devel/ml-doc/files   lib-Makefile mkdoc.1.in ml-doc.1.in 
                         patch-Makefile.in 
                         patch-config-install-sml-wrapper_sh.in 
                         patch-configure 
                         patch-tools-html-gen-do_spec.sml 
                         patch-tools-lib-latex-text_to_latex.sml 
  Log:
  New port: devel/ml-doc
  
          ML-Doc is a system for documenting the interfaces of SML
          libraries. It can produce both HTML and LaTeX output.
  
          http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html
  
  PR:             ports/115932:
  Submitted by:   Timothy Bourke <timbob@bigpond.com>
  
  Revision  Changes    Path
  1.2866    +1 -0      ports/devel/Makefile
  1.1       +51 -0     ports/devel/ml-doc/Makefile (new)
  1.1       +3 -0      ports/devel/ml-doc/distinfo (new)
  1.1       +37 -0     ports/devel/ml-doc/files/lib-Makefile (new)
  1.1       +121 -0    ports/devel/ml-doc/files/mkdoc.1.in (new)
  1.1       +2042 -0   ports/devel/ml-doc/files/ml-doc.1.in (new)
  1.1       +18 -0     ports/devel/ml-doc/files/patch-Makefile.in (new)
  1.1       +46 -0     ports/devel/ml-doc/files/patch-config-install-sml-wrapper_sh.in (new)
  1.1       +37 -0     ports/devel/ml-doc/files/patch-configure (new)
  1.1       +11 -0     ports/devel/ml-doc/files/patch-tools-html-gen-do_spec.sml (new)
  1.1       +11 -0     ports/devel/ml-doc/files/patch-tools-lib-latex-text_to_latex.sml (new)
  1.1       +4 -0      ports/devel/ml-doc/pkg-descr (new)
  1.1       +27 -0     ports/devel/ml-doc/pkg-plist (new)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200709071201.l87C10lf097071>