Subversion Repositories wimsdev

Rev

Rev 14627 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 14627 Rev 15280
Line 1... Line 1...
1
!read scripts/getindex $mod
1
!read scripts/getindex.proc $mod
2
!if $title=$empty
2
!if $title=$empty
3
  job=modname
3
  job=modname
4
  !changeto modname.proc
4
  !changeto modname.proc
5
!endif
5
!endif
6
!if $fnewname=$fname
6
!if $fnewname=$fname
Line 12... Line 12...
12
fname=!text select $allowchar in $fname
12
fname=!text select $allowchar in $fname
13
c=!char 1 of $fname
13
c=!char 1 of $fname
14
!if $c=. or $c=/ or .. isin $fname
14
!if $c=. or $c=/ or .. isin $fname
15
  !goto badname
15
  !goto badname
16
!endif
16
!endif
17
!read files
17
!read files.proc
18
!if $fname notitemof $files
18
!if $fname notitemof $files
19
  :badname
19
  :badname
20
  error=bad_fname
20
  error=bad_fname
21
  lastfname=$fname
21
  lastfname=$fname
22
  job=flist
22
  job=flist
Line 27... Line 27...
27
fnewname=!text select $allowchar in $fnewname
27
fnewname=!text select $allowchar in $fnewname
28
c=!char 1 of $fnewname
28
c=!char 1 of $fnewname
29
!if $c=. or $c=/ or .. isin $fnewname
29
!if $c=. or $c=/ or .. isin $fnewname
30
  !goto badname
30
  !goto badname
31
!endif
31
!endif
32
!read files
32
!read files.proc
33
!if $fnewname isitemof $files
33
!if $fnewname isitemof $files
34
  error=bad_fname_already
34
  error=bad_fname_already
35
  lastfname=$fname
35
  lastfname=$fname
36
  job=flist
36
  job=flist
37
  !changeto flist.proc
37
  !changeto flist.proc