diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-09-05 21:56:34 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-09-05 22:30:04 +0300 |
| commit | de3c03a47160dec355d9b19ad5ca210d90c15fd7 (patch) | |
| tree | 4ca6dc05b5fc9530d812bbb269f1c61ab9efccf3 /etc/indent-code.el | |
| parent | ab6fe9d362046231ad6f46eccfd1ea2c9c80b401 (diff) | |
| parent | b8477cab7bccc4191ed3dfa3f149aec7917834d8 (diff) | |
| download | guix-patches-de3c03a47160dec355d9b19ad5ca210d90c15fd7.tar guix-patches-de3c03a47160dec355d9b19ad5ca210d90c15fd7.tar.gz | |
Merge remote-tracking branch 'origin/master' into staging
Diffstat (limited to 'etc/indent-code.el')
| -rwxr-xr-x | etc/indent-code.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/indent-code.el b/etc/indent-code.el index 255ffb126b..84b15b356f 100755 --- a/etc/indent-code.el +++ b/etc/indent-code.el @@ -4,6 +4,7 @@ ;; Copyright © 2017 Alex Kost <alezost@gmail.com> ;; Copyright © 2017 Ludovic Courtès <ludo@gnu.org> ;; Copyright © 2020 Maxim Cournoyer <maxim.cournoyer@gmail.com> +;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;; This file is part of GNU Guix. @@ -93,7 +94,7 @@ ;; Indent the definition of PACKAGE-NAME in FILE-NAME. (find-file file-name) (goto-char (point-min)) - (if (re-search-forward (concat "^(define\\(-public\\) +" + (if (re-search-forward (concat "^(define\\(\\|-public\\) +" package-name) nil t) (let ((indent-tabs-mode nil)) |