Re: Exporting form emacs texinfo-mode to dvi, pdf, and html

[Eli Zaretskii]

> From: lisa-asket@perso.be
> Date: Sat, 26 Jun 2021 02:36:02 +0200 (CEST)
> 
> I use the command 
> 
> texi2pdf myfile.texi
> 
> You mention 
> 
> M-x compile RET make PDF RET
> 
> Tried it only to get
> 
> -*- mode: compilation; default-directory: "~/documents/" -*-
> Compilation started at Sat Jun 26 12:34:04
> 
> make myfile.pdf
> make: Nothing to be done for 'myfile.pdf'.

Which means the file myfile.texi wasn't changed since myfile.pdf was
last produced.  Or maybe the Makefile you have in that directory has a
bug.