5 Commits

Include renames

Author	SHA1	Message	Date
gsell	16f6ad142b	merge conflicts resolved	2018-07-11 10:23:11 +02:00
gsell	f40491b5e3	moved most of the BASH initialisation from config/profile.bash to init/bash	2018-07-11 10:18:26 +02:00
Achim Gsell	248c6f0568	bugfix in profile.bash.in and some comments added	2018-04-13 23:09:21 +02:00
gsell	dac5885500	- configuration file 'environment.bash' merged into 'profile.bash' ... - OS dependent build configuration is now in 'modbuild.conf' - set PATH before sourcing 'modbuild.conf' - installation path of modulefile fixed - go through all build steps if nothing else is specified on command line	2017-06-09 10:36:05 +02:00
gsell	b80f27d2e3	- merge scripts 'configure', 'compile_pmodules' and 'install_pmodules' ... into new script 'build' - merge 'environment.{bash,csh}.in' into 'profile.{bash,csh}.in' - set version to 0.99.12	2017-05-31 15:22:48 +02:00