File: build

package info (click to toggle)
sml-nj 110-4
  • links: PTS
  • area: main
  • in suites: potato, slink
  • size: 23,248 kB
  • ctags: 35,601
  • sloc: ansic: 22,557; asm: 4,998; makefile: 1,421; sh: 1,173; pascal: 256; yacc: 190; perl: 181; lisp: 25
file content (25 lines) | stat: -rwxr-xr-x 402 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
#!/bin/sh
#
# installation script for the documentation directory.
#

set -x

SML_ROOT=$1

DOC_FILES="\
    src/cm/Doc/manual.ps		cm-manual.ps
    src/ml-burg/doc/doc.ps		burg-manual.ps
    src/ml-yacc/doc/tech.doc		yacc-hacking.doc
  "\

linkFiles () {
    while [ "$#" != "0" ]; do
	path=$SML_ROOT/$1; file=$2; shift
	if [ -r $path ]; then
	    ln -s $path $file
	fi
    done
}

linkFiles $DOC_FILES