From 7220bdea4fea2f765d38a523735b2f7633aecbfb Mon Sep 17 00:00:00 2001
From: zwim <36999612+zwim@users.noreply.github.com>
Date: Fri, 28 Jan 2022 23:03:31 +0100
Subject: [PATCH] [fix, plugin] Terminal ldoc (#8742)

---
 plugins/terminal.koplugin/main.lua          | 4 +++-
 plugins/terminal.koplugin/terminputtext.lua | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/plugins/terminal.koplugin/main.lua b/plugins/terminal.koplugin/main.lua
index 9c30fe849..ed85cebe1 100644
--- a/plugins/terminal.koplugin/main.lua
+++ b/plugins/terminal.koplugin/main.lua
@@ -1,5 +1,7 @@
---[[
+--[[--
 This plugin provides a terminal emulator (VT52 (+some ANSI))
+
+@module koplugin.terminal
 ]]
 
 local Device = require("device")
diff --git a/plugins/terminal.koplugin/terminputtext.lua b/plugins/terminal.koplugin/terminputtext.lua
index d84cf43a0..0cc76d8cd 100644
--- a/plugins/terminal.koplugin/terminputtext.lua
+++ b/plugins/terminal.koplugin/terminputtext.lua
@@ -1,5 +1,7 @@
---[[
+--[[--
 module used for terminal emulator to override InputText
+
+@module koplugin.terminal
 ]]
 
 local InputText = require("ui/widget/inputtext")