Project

General

Profile

1 16966 mateusz.ko
#!/bin/bash
2
3 16968 mateusz.ko
## This script generates HTML files from markdown files stored in this directory.
4 16966 mateusz.ko
## "pandoc" program has to be installed in order for this script to work. This
5
## is available in the Ubuntu repository.
6
7
target_dir=../target/docs
8
9
mkdir -p $target_dir
10
for file in *.markdown
11
do
12
	filename="${file%.*}"
13
	pandoc -N -t html -s --no-wrap --css default.css --toc -o $target_dir/$filename.html $file
14
done
15
16
cp default.css $target_dir/default.css