gtheler
pirms 6 gadiem
1 mainītis faili ar 1 papildinājumiem un 1 dzēšanām
+ 1
- 1
make.sh
Parādīt failu
| done | done | ||||
| # the document name is the current directory name | # the document name is the current directory name | ||||
| name=`basename $PWD`-emf | |||||
| name=`basename $PWD` | |||||
| if [ ! -e ${name}.md ]; then | if [ ! -e ${name}.md ]; then | ||||
| echo "error: ${name}.md does not exist" | echo "error: ${name}.md does not exist" | ||||
| exit 1 | exit 1 |
Notiek ielāde…