diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 8341a90..1266b04 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -16,6 +16,7 @@ ORG_EVAL += --funcall org-texinfo-export-to-texinfo %.texi: %.org @printf "Generating $@\n" @$(EMACS) $(ORG_ARGS) $< $(ORG_EVAL) + @sed -i -e 's/“/``/g' -e "s/”/''/g" -e '$$a\' $(PKG).texi #' %.info: %.texi @printf "Generating $@\n" |