Add missing file

webmin · Aug 26, 2024 · e0ef375 · e0ef375
1 parent d67139f
commit e0ef375
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/makedist.pl b/makedist.pl
@@ -41,7 +41,8 @@
 	  "config-lib.pl", "entities_map.txt",
 	  "password_form.cgi", "password_change.cgi", "ui-lib.pl",
 	  "pam_login.cgi", "uptracker.cgi", "webmin_search.cgi",
-	  "webmin-search-lib.pl", "WebminCore.pm", "robots.txt", "html-editor-lib.pl" );
+	  "webmin-search-lib.pl", "WebminCore.pm", "robots.txt",
+	  "html-editor-lib.pl", "switch_theme.cgi" );
 @mlist = ("cshrc", "forward", "language", "mailbox",
 	  "plan", "ssh", "telnet", "theme", "gnupg", "proc", "cron",
 	  "changepass", "shell", "at", "fetchmail", "quota", "mysql",