summaryrefslogtreecommitdiff
path: root/copy-docs.sh
blob: 1cd7dd514bd04e7d336321f2e05d671d5c9c7f07 (plain)
1
2
3
4
5
6
7
8
9
#!/bin/bash
VERSION=`cut -d "." -f 1-2 version.txt`
cd userdocs
DEST=../../fmsite/freshmemory/static/docs/$VERSION
mkdir $DEST
make clean html
rm -r _build/html/_sources 2> /dev/null
cp -r _build/html/* $DEST
cd ..