Project

General

Profile

1
#!/bin/bash
2

    
3
## This script generates HTML files from markdown files stored in this directory.
4
## "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
(3-3/5)