branch: externals/debbugs
commit b8b8dfc65dea9bfdd370b8f84e3883974a044a2b
Author: Michael Albinus <[email protected]>
Commit: Michael Albinus <[email protected]>
Add @documentlanguage to manuals
* debbugs-ug.texi:
* debbugs.texi: Add @documentlanguage.
---
debbugs-ug.texi | 1 +
debbugs.texi | 1 +
2 files changed, 2 insertions(+)
diff --git a/debbugs-ug.texi b/debbugs-ug.texi
index 060f84f339..907d1c93f1 100644
--- a/debbugs-ug.texi
+++ b/debbugs-ug.texi
@@ -1,6 +1,7 @@
\input texinfo
@setfilename debbugs-ug.info
@settitle Debbugs User Guide
+@documentlanguage en
@dircategory Emacs
@direntry
diff --git a/debbugs.texi b/debbugs.texi
index 62401e376b..f24dbadf66 100644
--- a/debbugs.texi
+++ b/debbugs.texi
@@ -1,6 +1,7 @@
\input texinfo
@setfilename debbugs.info
@settitle Debbugs programmer's manual
+@documentlanguage en
@dircategory Emacs
@direntry
