1 7b4d8efb 2022-02-04 op #!/bin/sh
 2 7b4d8efb 2022-02-04 op #
 3 7b4d8efb 2022-02-04 op # stuff we should do in the makefile
 4 7b4d8efb 2022-02-04 op # but can't for portability reasons
 5 7b4d8efb 2022-02-04 op 
 6 7b4d8efb 2022-02-04 op pair()
 7 7b4d8efb 2022-02-04 op {
 8 7b4d8efb 2022-02-04 op 	files="$files $2"
 9 7b4d8efb 2022-02-04 op 	dotfiles="\${HOME}/$1 $dotfiles"
10 7b4d8efb 2022-02-04 op 	cat <<EOF >> Makefile.local
11 7b4d8efb 2022-02-04 op \${HOME}/$1: $2
12 7b4d8efb 2022-02-04 op 	./lpp \$? > \$@
13 7b4d8efb 2022-02-04 op 
14 7b4d8efb 2022-02-04 op EOF
15 7b4d8efb 2022-02-04 op }
16 7b4d8efb 2022-02-04 op 
17 7b4d8efb 2022-02-04 op rm -f Makefile.local
18 7b4d8efb 2022-02-04 op 
19 7b4d8efb 2022-02-04 op pair .profile	profile.lp
20 7b4d8efb 2022-02-04 op pair .kshrc	kshrc.lp
21 7b4d8efb 2022-02-04 op 
22 7b4d8efb 2022-02-04 op for file in $files; do
23 7b4d8efb 2022-02-04 op 	f="${file%.lp}"
24 7b4d8efb 2022-02-04 op 	gemfiles="gem/$f.gmi $gemfiles"
25 7b4d8efb 2022-02-04 op 	wwwfiles="www/$f.html $wwwfiles"
26 7b4d8efb 2022-02-04 op 
27 7b4d8efb 2022-02-04 op 	cat <<EOF >> Makefile.local
28 7b4d8efb 2022-02-04 op gem/$f.gmi: $file
29 7b4d8efb 2022-02-04 op 	./unpar $file | ./gc > \$@
30 7b4d8efb 2022-02-04 op 
31 7b4d8efb 2022-02-04 op www/$f.html: gem/$f.gmi header.html footer.html
32 7b4d8efb 2022-02-04 op 	sed 's!TITLE!$f!' header.html > \$@
33 7b4d8efb 2022-02-04 op 	./gem2html gem/$f.gmi >> \$@
34 7b4d8efb 2022-02-04 op 	cat footer.html >> \$@
35 7b4d8efb 2022-02-04 op 
36 7b4d8efb 2022-02-04 op EOF
37 7b4d8efb 2022-02-04 op done
38 7b4d8efb 2022-02-04 op 
39 7b4d8efb 2022-02-04 op cat <<EOF >> Makefile.local
40 7b4d8efb 2022-02-04 op GEMFILES =	$gemfiles
41 7b4d8efb 2022-02-04 op WWWFILES =	$wwwfiles
42 7b4d8efb 2022-02-04 op DOTFILES =	$dotfiles
43 7b4d8efb 2022-02-04 op EOF