| changeset 604 | 9084d12d924d |
| parent 579 | b71e74cfe817 |
| child 622 | 596406094fd1 |
| 603:291a8df0cf97 | 604:9084d12d924d |
|---|---|
93 ;; |
93 ;; |
94 esac |
94 esac |
95 } |
95 } |
96 |
96 |
97 # Remove old auto-generated config and fill it by standard header. |
97 # Remove old auto-generated config and fill it by standard header. |
98 echo ";; -*- mode: lisp; coding: utf-8; fill-column: 78 -*- |
98 echo ";; -*- mode: emacs-lisp; coding: utf-8; fill-column: 78 -*- |
99 ;; |
99 ;; |
100 ;; For load order see README. |
100 ;; For load order see README. |
101 " >$cfg |
101 " >$cfg |
102 |
102 |
103 check_platform |
103 check_platform |