From f39fcedca8a06440e05b985c711a4e583871946f Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sun, 17 Sep 2023 14:30:33 +0200
Subject: [PATCH] tweaks
---
.gitignore | 1 +
kwarc/auto/recomm.el | 7 +++++--
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/.gitignore b/.gitignore
index b5ffd68..cbdc62f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+*.el
*~
.DS_Store
auto
diff --git a/kwarc/auto/recomm.el b/kwarc/auto/recomm.el
index 7fd1737..a512f6d 100644
--- a/kwarc/auto/recomm.el
+++ b/kwarc/auto/recomm.el
@@ -6,12 +6,15 @@
"calc")
(TeX-add-symbols
'("knowsince" ["argument"] 1)
- '("fullname" ["argument"] 2)
+ '("fullname" ["argument"] 1)
'("institutionname" 1)
'("programname" 1)
"program"
"institution"
"knowmonths")
+ (LaTeX-add-environments
+ '("frame" LaTeX-env-args ["argument"] 0))
(LaTeX-add-counters
- "kmo")))
+ "kmo"))
+ :latex)
--
GitLab