Update IPKG keywords

idris-community · Oct 27, 2021 · b035de5 · b035de5
1 parent e59bc65
commit b035de5
Showing 1 changed file with 25 additions and 1 deletion.
diff --git a/idris2-ipkg-mode.el b/idris2-ipkg-mode.el
@@ -53,7 +53,31 @@
     st))
 
 (defconst idris2-ipkg-keywords
-  '("package" "opts" "modules" "sourcedir" "makefile" "objs" "executable" "main" "libs" "pkgs"))
+  '("package"
+    "authors"
+    "maintainers"
+    "license"
+    "brief"
+    "readme"
+    "homepage"
+    "sourceloc"
+    "bugtracker"
+    "options"
+    "opts"
+    "sourcedir"
+    "builddir"
+    "outputdir"
+    "prebuild"
+    "postbuild"
+    "preinstall"
+    "postinstall"
+    "preclean"
+    "postclean"
+    "version"
+    "depends"
+    "modules"
+    "main"
+    "executable"))
 
 (defconst idris2-ipkg-font-lock-defaults
   `(,idris2-ipkg-keywords))