1 |
|
# $Id$ |
2 |
|
|
3 |
NAVIDOC=../../../navidoc |
NAVIDOC=../../../navidoc |
4 |
|
|
5 |
OPTS="--imagemap" |
OPTS="--imagemap" |
8 |
|
|
9 |
rst: |
rst: |
10 |
# Jython decides time format based on LC_CTYPE |
# Jython decides time format based on LC_CTYPE |
11 |
echo Warning, overwrites Navidoc config. |
# Warning, overwrites Navidoc config. |
12 |
cp $(NAVIDOC)/config.py tmp |
cp $(NAVIDOC)/config.py tmp |
13 |
cp config.navidoc $(NAVIDOC)/config.py |
cp config.navidoc $(NAVIDOC)/config.py |
14 |
make -C $(NAVIDOC) html DBG=$(OPTS) RST=../manuscripts/presentations/nortti03/ |
make -C $(NAVIDOC) html DBG=$(OPTS) RST=../manuscripts/presentations/nortti03/ |
15 |
cp tmp $(NAVIDOC)/config.py |
cp tmp $(NAVIDOC)/config.py |
16 |
echo Navidoc config restored. |
# Navidoc config restored. |
17 |
rm tmp |
rm tmp |