|
|
|
|
|
| 2013-10-22 | mpa | Improve make dev_docs step: |
commit | commitdiff | tree |
| 2013-10-22 | mpa | - Edit a documentation build |
commit | commitdiff | tree |
| 2013-10-22 | mpa | Add make clean for deleting documentation |
commit | commitdiff | tree |
| 2013-10-22 | mpa | Add condition for documentation build |
commit | commitdiff | tree |
| 2013-10-22 | mpa | - SALOME_BUILD_DOC, SALOME_BUILD_TESTS and SALOME_BUILD_GUI... |
commit | commitdiff | tree |
