[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master updated (ee65275 -> 9e94509)
From: |
Glenn Morris |
Subject: |
master updated (ee65275 -> 9e94509) |
Date: |
Thu, 4 Mar 2021 13:47:23 -0500 (EST) |
gm pushed a change to branch master.
from ee65275 ; Makefile.in: Update a comment.
new bd443f4 * build-aux/make-info-dir: Handle .org input files.
new 4e83fd0 * doc/misc/Makefile.in (echo-sources): New phony target.
new 9e94509 Generate info/dir directly from any org sources
Summary of changes:
Makefile.in | 11 ++++-------
build-aux/make-info-dir | 30 ++++++++++++++++++++++++++++++
doc/misc/Makefile.in | 9 +++++++++
3 files changed, 43 insertions(+), 7 deletions(-)
- master updated (ee65275 -> 9e94509),
Glenn Morris <=