diff --git a/doc/misc/ses.texi b/doc/misc/ses.texi
index 3e6fbed95bb..3c11d8a17c0 100644
--- a/doc/misc/ses.texi
+++ b/doc/misc/ses.texi
@@ -9,6 +9,13 @@
 @syncodeindex vr cp
 @syncodeindex ky cp
 @c %**end of header
+@c compile info with
+@c    make -C doc/misc ../../info/ses.info
+@c or just
+@c    make -C doc/misc ses
+@c compile pdf with
+@c    make -C doc/misc ses.pdf
+
 
 @copying
 This file documents @acronym{SES}: the Simple Emacs Spreadsheet.
diff --git a/doc/translations/fr/misc/ses-fr.texi b/doc/translations/fr/misc/ses-fr.texi
index 10bb20420a9..4e204ad94e5 100644
--- a/doc/translations/fr/misc/ses-fr.texi
+++ b/doc/translations/fr/misc/ses-fr.texi
@@ -10,6 +10,12 @@
 @syncodeindex vr cp
 @syncodeindex ky cp
 @c %**end of header
+@c compiler info avec
+@c    make -C doc/misc ../../info/ses-fr.info LANG=fr
+@c ou juste
+@c    make -C doc/misc ses LANG=fr
+@c compiler pdf avec
+@c    make -C doc/misc ses-fr.pdf LANG=fr
 
 @copying
 Ce fichier documente @acronym{SES} : le tableur simple d’Emacs (Simple