4 lines
55 B
Bash
Executable file
4 lines
55 B
Bash
Executable file
#!/bin/sh
|
|
cd `dirname $0`/../docs
|
|
make clean html pdf
|
|
|