Changeset 10474 for NEMO/trunk/doc/PDF_creation.sh
- Timestamp:
- 2019-01-08T18:52:03+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
NEMO/trunk/doc/PDF_creation.sh
r10405 r10474 1 1 #!/bin/sh 2 3 2 4 3 export opts='-shell-escape -pdf' 5 4 model='NEMO' 5 6 check_python_module() { 7 python -c " 8 import sys 9 try: 10 import $1 11 print('\nModule $1 is installed') 12 except ImportError: 13 print('\nModule $1 is NOT installed') 14 print('') 15 sys.exit(42)" 16 } 6 17 7 18 clean() { … … 25 36 } 26 37 38 check_python_module pygments 39 if [ $? -ne 0 ]; then echo 'Required python module pygments to correctly build the documentation is missing; exit 42'; echo ''; exit 42; fi 40 27 41 clean 42 28 43 build $model 29 44
Note: See TracChangeset
for help on using the changeset viewer.