mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
CONFIG: adjust MANPATH if an OpenFOAM doc/man1 directory exists
This commit is contained in:
@ -180,6 +180,11 @@ _foamEtc -config CGAL
|
|||||||
_foamEtc -config scotch
|
_foamEtc -config scotch
|
||||||
_foamEtc -config FFTW
|
_foamEtc -config FFTW
|
||||||
|
|
||||||
|
if [ -d "$WM_PROJECT_DIR/doc/man1" ]
|
||||||
|
then
|
||||||
|
_foamAddMan "$WM_PROJECT_DIR/doc"
|
||||||
|
fi
|
||||||
|
|
||||||
# Interactive shell
|
# Interactive shell
|
||||||
if /usr/bin/tty -s 2>/dev/null
|
if /usr/bin/tty -s 2>/dev/null
|
||||||
then
|
then
|
||||||
|
|||||||
@ -216,6 +216,10 @@ _foamEtc -config ensight
|
|||||||
_foamEtc -config CGAL
|
_foamEtc -config CGAL
|
||||||
_foamEtc -config FFTW
|
_foamEtc -config FFTW
|
||||||
|
|
||||||
|
if ( -d "$WM_PROJECT_DIR/doc/man1" ) then
|
||||||
|
_foamAddMan "$WM_PROJECT_DIR/doc"
|
||||||
|
endif
|
||||||
|
|
||||||
# Interactive shell
|
# Interactive shell
|
||||||
if ($?prompt) then
|
if ($?prompt) then
|
||||||
_foamEtc -config aliases
|
_foamEtc -config aliases
|
||||||
|
|||||||
Reference in New Issue
Block a user