diff options
author | ng0 <ng0@n0.is> | 2019-04-01 14:23:46 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 14:23:46 +0000 |
commit | ae004979659f80756076e2fe65888437a634533f (patch) | |
tree | 11760fd8e1267954d081337f6036bf5f39cb68e7 /contrib/scripts/doc | |
parent | 3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25 (diff) | |
download | gnunet-ae004979659f80756076e2fe65888437a634533f.tar.gz gnunet-ae004979659f80756076e2fe65888437a634533f.zip |
rename files
Diffstat (limited to 'contrib/scripts/doc')
-rw-r--r-- | contrib/scripts/doc/texinfo-hacks.el | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/contrib/scripts/doc/texinfo-hacks.el b/contrib/scripts/doc/texinfo-hacks.el new file mode 100644 index 000000000..bfb5c98fa --- /dev/null +++ b/contrib/scripts/doc/texinfo-hacks.el | |||
@@ -0,0 +1,18 @@ | |||
1 | ;;;; hacks.el --- a few functions to help me work on the manual | ||
2 | ;;;; Jim Blandy <jimb@red-bean.com> --- October 1998 | ||
3 | ;;;; -- imported from https://git.savannah.gnu.org/cgit/guile.git/tree/doc/hacks.el | ||
4 | ;;;; This code should be covered by the same license as GNU Guile (GPL3). | ||
5 | |||
6 | (defun jh-exemplify-region (start end) | ||
7 | (interactive "r") | ||
8 | (save-excursion | ||
9 | (save-restriction | ||
10 | (narrow-to-region start end) | ||
11 | |||
12 | ;; Texinfo doesn't handle tabs well. | ||
13 | (untabify (point-min) (point-max)) | ||
14 | |||
15 | ;; Quote any characters special to texinfo. | ||
16 | (goto-char (point-min)) | ||
17 | (while (re-search-forward "[{}@]" nil t) | ||
18 | (replace-match "@\\&"))))) | ||