From dd3ce50ece4b45f06fa5ae65e2a909e1569c9dc1 Mon Sep 17 00:00:00 2001 From: nolash Date: Sun, 29 Aug 2021 11:32:13 +0200 Subject: [PATCH] Rename doc dir --- doc/{infotex => texinfo}/exec.texi | 0 doc/{infotex => texinfo}/index.texi | 0 doc/{infotex => texinfo}/stack.texi | 0 doc/{infotex => texinfo}/state.texi | 0 doc/{infotex => texinfo}/tx.texi | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename doc/{infotex => texinfo}/exec.texi (100%) rename doc/{infotex => texinfo}/index.texi (100%) rename doc/{infotex => texinfo}/stack.texi (100%) rename doc/{infotex => texinfo}/state.texi (100%) rename doc/{infotex => texinfo}/tx.texi (100%) diff --git a/doc/infotex/exec.texi b/doc/texinfo/exec.texi similarity index 100% rename from doc/infotex/exec.texi rename to doc/texinfo/exec.texi diff --git a/doc/infotex/index.texi b/doc/texinfo/index.texi similarity index 100% rename from doc/infotex/index.texi rename to doc/texinfo/index.texi diff --git a/doc/infotex/stack.texi b/doc/texinfo/stack.texi similarity index 100% rename from doc/infotex/stack.texi rename to doc/texinfo/stack.texi diff --git a/doc/infotex/state.texi b/doc/texinfo/state.texi similarity index 100% rename from doc/infotex/state.texi rename to doc/texinfo/state.texi diff --git a/doc/infotex/tx.texi b/doc/texinfo/tx.texi similarity index 100% rename from doc/infotex/tx.texi rename to doc/texinfo/tx.texi