diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2020-08-08 13:49:49 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2020-08-09 21:14:36 -0300 |
| commit | c4541353765dec837c1c2f912b1bf6661827429c (patch) | |
| tree | 55505550d2b472e2c1d585da5e6a6e4f20670ba0 /doc | |
| parent | 177cd31fbdff93254d576b737b55656d3a6086b5 (diff) | |
emacs: Use makefile-gmake-mode in Makefile*s
Use `makefile-gmake-mode' instead of `makefile-mode' because the
former also highlights ifdef et al. while the latter does not.
"./Makefile.global" and one "Makefile.local" failed to specify any
major mode at all but doing so is necessary because Emacs does not
automatically figure out that these are Makefiles (of any flavor).
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 30411341..60bd7184 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -1,4 +1,4 @@ -# -*- makefile -*- +# -*- makefile-gmake -*- dir := doc |