--- a/doc/local.mk	2019-09-16 17:09:49.972000000 +0200
+++ b/doc/local.mk	2019-09-16 17:23:41.812000000 +0200
@@ -21,12 +21,12 @@
 # You should have received a copy of the GNU General Public License
 # along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
-info_TEXINFOS = %D%/guix.texi			\
-  %D%/guix.de.texi				\
-  %D%/guix.es.texi				\
-  %D%/guix.fr.texi				\
-  %D%/guix.ru.texi				\
-  %D%/guix.zh_CN.texi
+info_TEXINFOS = %D%/guix.texi			
+#  %D%/guix.de.texi				\
+#  %D%/guix.es.texi				\
+#  %D%/guix.fr.texi				\
+#  %D%/guix.ru.texi				\
+#  %D%/guix.zh_CN.texi
 
 %C%_guix_TEXINFOS = \
   %D%/contributing.texi \