diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-15 01:51:02 -0500 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2017-01-15 01:51:02 -0500 |
| commit | 0a1826bd8b2fe2a374112c3218b5139aba40555d (patch) | |
| tree | 47f09bbc830f6164c9c8d80ec2c6173ecffedf56 /build-aux/Makefile.each.head | |
| parent | cbee7a272b1f61843d596da913093acf77506481 (diff) | |
Rename gnudoc->texinfo
Diffstat (limited to 'build-aux/Makefile.each.head')
| -rw-r--r-- | build-aux/Makefile.each.head/00-texinfo.mk (renamed from build-aux/Makefile.each.head/00-gnudoc.mk) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/Makefile.each.head/00-gnudoc.mk b/build-aux/Makefile.each.head/00-texinfo.mk index 631d576..88aaeb5 100644 --- a/build-aux/Makefile.each.head/00-gnudoc.mk +++ b/build-aux/Makefile.each.head/00-texinfo.mk @@ -13,4 +13,4 @@ # You should have received a copy of the GNU Affero General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -gnudoc.docs ?= +texinfo.docs ?= |