============================================== bibletime-1.3.tar.gz is ready for distribution ============================================== finally bibletime passes make distcheck (that's all the above means ;) ) Daniel