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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2534 - (view) (download) (as text)

1 : jhr 2534 #!/bin/sh
2 :     #
3 :     # This script creates the Makefile for building the documentation. You
4 :     # will need to have installed the ML-Doc tools and have mk-mldoc-makefile
5 :     # program in your path.
6 :    
7 :     find ML-Doc -name "*.mldoc" -print | mk-mldoc-makefile
8 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0