# HG changeset patch
# User jbe
# Date 1492785041 -7200
# Node ID 225d6b2ac050bdfd3c22987070c1962bc3ca63fd
# Parent  8c19fa7950f6ac869a9bea6629d74487d30872b1
Fixed inline documentation of encode.file_path(...)

diff -r 8c19fa7950f6 -r 225d6b2ac050 framework/env/encode/file_path.lua
--- a/framework/env/encode/file_path.lua	Mon Nov 07 19:34:12 2016 +0100
+++ b/framework/env/encode/file_path.lua	Fri Apr 21 16:30:41 2017 +0200
@@ -1,6 +1,6 @@
 --[[--
 path =                    -- string containing a (file) path
-encode.encode_file_path(
+encode.file_path(
   base_path,
   element1,               -- next part of the path
   element2,               -- next part of the path