# HG changeset patch # User Bernhard Herzog # Date 1212426302 0 # Node ID 1dcddaacf12e00f255e97a7da2c90326d2d4828c # Parent 2c942b75b98bb2eaddd7a422ee283e7b2255ae68 Rename the build log from build.log to build_log.txt. This makes publishing the static web pages easier because the server will automatically choose the right content type. diff -r 2c942b75b98b -r 1dcddaacf12e treepkg/packager.py --- a/treepkg/packager.py Mon Jun 02 15:58:13 2008 +0000 +++ b/treepkg/packager.py Mon Jun 02 17:05:02 2008 +0000 @@ -227,7 +227,7 @@ work_dir = _filenameproperty("work") binary_dir = _filenameproperty("binary") src_dir = _filenameproperty("src") - build_log = _filenameproperty("build.log") + build_log = _filenameproperty("build_log.txt") def find_dsc_file(self): for filename in os.listdir(self.src_dir):