equal
deleted
inserted
replaced
6 # parameters |
6 # parameters |
7 FIND="$1" |
7 FIND="$1" |
8 OUTPUTROOT="$2" |
8 OUTPUTROOT="$2" |
9 DEP_FILE="$3" |
9 DEP_FILE="$3" |
10 STATICDIRS="$4" |
10 STATICDIRS="$4" |
|
11 STATICFILES="$5" |
11 |
12 |
12 rm -f "$DEP_FILE" |
13 rm -f "$DEP_FILE" |
13 touch "$DEP_FILE" |
14 touch "$DEP_FILE" |
14 echo '# This is a generated file; do not edit' >> "$DEP_FILE" |
15 echo '# This is a generated file; do not edit' >> "$DEP_FILE" |
15 echo >> "$DEP_FILE" |
16 echo >> "$DEP_FILE" |
31 echo >> "$DEP_FILE" |
32 echo >> "$DEP_FILE" |
32 done |
33 done |
33 done |
34 done |
34 echo "DEP_ALLSTATIC=$allstatic" >> "$DEP_FILE" |
35 echo "DEP_ALLSTATIC=$allstatic" >> "$DEP_FILE" |
35 echo >> "$DEP_FILE" |
36 echo >> "$DEP_FILE" |
36 echo 'DEP_HTML=$(DEP_ALLSTATIC) include/documentationdist.include.html $(DEP_FILE) $(CONF)' >> "$DEP_FILE" |
37 echo 'DEP_HTML=$(DEP_ALLSTATIC) $(STATICFILES) $(DEP_FILE) $(CONF)' >> "$DEP_FILE" |
37 echo >> "$DEP_FILE" |
38 echo >> "$DEP_FILE" |
38 allhtml='' |
39 allhtml='' |
39 for html in $("$FIND" . -name "*.html" -a ! -name "*.include.html") |
40 for html in $("$FIND" . -name "*.html" -a ! -name "*.include.html") |
40 do |
41 do |
41 outputfile="\$(OUTPUTROOT)/$html" |
42 outputfile="\$(OUTPUTROOT)/$html" |