diff options
author | Yuchen Pei <id@ypei.org> | 2023-07-24 13:58:09 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-07-24 13:58:09 +1000 |
commit | 7cea566a9616f1300cfc2728acf664ac5bd89bd8 (patch) | |
tree | ae65e5d7d160bca38a6783f791a3ac8dbc620aa0 /wiki.el | |
parent | 78672bd3ccd71e36cd99d57b244213a37a8bf32e (diff) |
Add search.
- For mediawiki sites, use API search.
- For non-mediawiki sites, use eww.
- Now it depends on a new library `generic-search.el'.
Diffstat (limited to 'wiki.el')
-rw-r--r-- | wiki.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ ;; Created: 2023 ;; Version: 0 ;; Keywords: wiki, markup -;; Package-Requires: ((emacs "28")) +;; Package-Requires: ((emacs "28") (generic-search "0")) ;; Package-Type: multi ;; Homepage: https://g.ypei.me/wiki.el.git |