-
Notifications
You must be signed in to change notification settings - Fork 48
/
Makefile
30 lines (21 loc) · 834 Bytes
/
Makefile
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
26
27
28
29
30
data/chapter_links.txt : setup
grep 'file:[^ ]*.html]' *.org | cut -d':' -f 3-4 | cut -d']' -f1 | sort | uniq > $@
grep -ho '\[file:.*' *.org | grep html | cut -d':' -f2 | grep '#' | cut -d'#' -f1 | sort | uniq >> $@
setup:
mkdir -p data
htmlLinks:
# grep '\[file:[^ ]*.html#' *.org
grep -n file *.org | grep '\.html' | grep -v 'bibliography.html'
quote_marks:
sed -i 's/“/"/g' *.org
sed -i 's/”/"/g' *.org
typeclass:
# First, manually check that all instances of "Typeclass" don't need to be "Type Class"
sed -i 's/Typeclass/Type class/g' *.org
sed -i 's/typeclass/type class/g' *.org
sed -i 's/6-using-type classes.org/6-using-typeclasses.org/g' *.org
typecheck:
# No instances of "Typecheck"
sed -i 's/typecheck/type-check/g' *.org
biblio:
sed -i 's/file:bibliography.html/file:bibliography.org/g' *.org