[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Makefile for texinfo
|
From: |
Lawrence Velázquez |
|
Subject: |
Re: Makefile for texinfo |
|
Date: |
Mon, 28 Jun 2021 01:01:04 -0400 |
|
User-agent: |
Cyrus-JMAP/3.5.0-alpha0-530-gd0c265785f-fm-20210616.002-gd0c26578 |
On Mon, Jun 28, 2021, at 12:35 AM, lisa-asket@perso.be wrote:
> I have three files
>
>
>
> 06-ch.texi
>
> 06-ig.texi
>
> 06-rf.texi
> and want to run texi2pdf on a specific file. Would not like to touch
> the makefile
> everytime, so I must supply the .texi files to make from the command
> line.
https://lists.gnu.org/mailman/listinfo/help-make
--
vq