New file

diff --git a/texi/docstyle.texi b/texi/docstyle.texi
new file mode 100644 (file)
index 0000000..dfd1430
--- /dev/null
+++ b/texi/docstyle.texi
@@ -0,0 +1,10 @@
+@c Emacs documentation style settings
+@documentencoding UTF-8
+@c These two require Texinfo 5.0 or later, so we use the older
+@c equivalent @set variables supported in 4.11 and hence
+@ignore
+@codequotebacktick on
+@codequoteundirected on
+@end ignore
+@set txicodequoteundirected
+@set txicodequotebacktick