equal
deleted
inserted
replaced
145 # if html file in output directory exists, leave it alone. |
145 # if html file in output directory exists, leave it alone. |
146 if os.path.exists ( file_name ): |
146 if os.path.exists ( file_name ): |
147 return 0 |
147 return 0 |
148 |
148 |
149 if os.path.exists ( |
149 if os.path.exists ( |
150 os.path.join ( dest_path, mod_name + '.css' ) ) : |
150 os.path.join ( dest_path, mod_name + '.css' ) ): |
151 css = "<link rel='stylesheet' href='" + mod_name + ".css'>" |
151 css = "<link rel='stylesheet' href='" + mod_name + ".css'>" |
152 elif os.path.exists ( |
152 elif os.path.exists ( |
153 os.path.join ( dest_path, 'pyjamas_default.css' ) ) : |
153 os.path.join ( dest_path, 'pyjamas_default.css' ) ): |
154 css = "<link rel='stylesheet' href='pyjamas_default.css'>" |
154 css = "<link rel='stylesheet' href='pyjamas_default.css'>" |
155 |
155 |
156 else: |
156 else: |
157 css = '' |
157 css = '' |
158 |
158 |