1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
all: libbitmask.pdf libbitmask.txt
: done
libbitmask.txt: libbitmask.html
lynx -width=92 -dump libbitmask.html | \
sed -e '/\[[1-9][0-9]*\]/s///g' -e '/^References$$/Q' > libbitmask.txt
libbitmask.pdf: libbitmask.tex
patch -o libbitmask.out.tex -p1 < libbitmask.patch
sed -i 's;LINEBREAK;\\\\;g' libbitmask.out.tex
sed -i 's;LINEBREAK;<br>;g' libbitmask.html
sed -i '/link rel="stylesheet" href="default.css"/d' libbitmask.html
sed -i 's;LaTeX;\\LaTeX;g' libbitmask.out.tex
sed -i 's;(c);\\copyright;g' libbitmask.out.tex
# run pdflatex twice to redo bookmarks
pdflatex -interaction=batchmode libbitmask.out.tex || true
pdflatex -interaction=batchmode libbitmask.out.tex || true
mv libbitmask.out.pdf libbitmask.pdf
clean:
rm -f libbitmask.out.{aux,log,out,tex}
clobber: clean
rm -f libbitmask.{html,pdf,tex,txt}
|
