twelf.install


1
2
3
4
5
6
7
8
9
10
11
12
13

post_install() {
  cat <<EOF
*************************************************
Twelf Emacs Integration
*************************************************
Add

(setq twelf-root "/opt/twelf/")
(load (concat twelf-root "emacs/twelf-init.el"))

to your .emacs file
EOF
}