Update
parent
940ac8279b
commit
280aba9025
@ -0,0 +1,20 @@
|
||||
#!/bin/sh
|
||||
# Convert the wiki to all formats.
|
||||
|
||||
echo "making all"
|
||||
|
||||
./make_html.sh
|
||||
./make_txt.sh
|
||||
./make_pdf.sh
|
||||
|
||||
mkdir lrs_wiki
|
||||
mkdir lrs_wiki/md
|
||||
cp *.md lrs_wiki/md
|
||||
cp lrs_wiki.html lrs_wiki
|
||||
cp lrs_wiki.txt lrs_wiki
|
||||
cp lrs_wiki.pdf lrs_wiki
|
||||
tar -czvf lrs_wiki.tar.gz lrs_wiki
|
||||
rm -rf lrs_wiki
|
||||
cp lrs_wiki.tar.gz html
|
||||
|
||||
echo "done"
|
@ -0,0 +1,12 @@
|
||||
#!/bin/sh
|
||||
# Creates a PDF version of the wiki.
|
||||
|
||||
echo "making PDF"
|
||||
|
||||
./make_html_single.sh
|
||||
|
||||
cat lrs_wiki.html | sed "s/<code> /<code>\n /" > _tmp.html
|
||||
htmldoc --bodyfont sans --fontsize 10 --gray --left 8mm --right 8mm --top 8mm --bottom 8mm --continuous --header ... --header1 ... --footer ct/ -t pdf -f lrs_wiki.pdf _tmp.html
|
||||
rm _tmp.html
|
||||
|
||||
echo "done"
|
File diff suppressed because it is too large
Load Diff
File diff suppressed because one or more lines are too long
Loading…
Reference in New Issue