diff options
| -rw-r--r-- | README | 2 | ||||
| -rw-r--r-- | lualibs-util-dim.lua (renamed from lualibs-dimen.lua) | 0 | ||||
| -rw-r--r-- | lualibs.dtx | 3 |
3 files changed, 2 insertions, 3 deletions
@@ -34,7 +34,6 @@ Source files: lualibs.dtx lualibs-aux.lua lualibs-boolean.lua - lualibs-dimen.lua lualibs-dir.lua lualibs-file.lua lualibs-io.lua @@ -49,6 +48,7 @@ Source files: lualibs-unicode.lua lualibs-url.lua lualibs-utils.lua + lualibs-util-dim.lua README Makefile NEWS diff --git a/lualibs-dimen.lua b/lualibs-util-dim.lua index da5ab14..da5ab14 100644 --- a/lualibs-dimen.lua +++ b/lualibs-util-dim.lua diff --git a/lualibs.dtx b/lualibs.dtx index 799c3df..cfdd15d 100644 --- a/lualibs.dtx +++ b/lualibs.dtx @@ -193,10 +193,9 @@ require("lualibs-md5") require("lualibs-dir") require("lualibs-unicode") require("lualibs-utils") -require("lualibs-dimen") +require("lualibs-util-dim") require("lualibs-url") require("lualibs-set") -require("lualibs-dimen") % \end{macrocode} % % \iffalse |