Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /smlnj-lib/trunk/Doc/config.sh
ViewVC logotype

View of /smlnj-lib/trunk/Doc/config.sh

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2534 - (download) (as text) (annotate)
Thu May 10 14:08:22 2007 UTC (12 years, 1 month ago) by jhr
File size: 239 byte(s)
  Working on documentation configuration
# This script creates the Makefile for building the documentation.  You
# will need to have installed the ML-Doc tools and have mk-mldoc-makefile
# program in your path.

find ML-Doc -name "*.mldoc" -print | mk-mldoc-makefile

ViewVC Help
Powered by ViewVC 1.0.0