From 94f7c34985e48753bbc994d3607d8bf4f3b38ec8 Mon Sep 17 00:00:00 2001 From: Managor <42655600+Managor@users.noreply.github.com> Date: Fri, 12 Dec 2025 16:01:42 +0200 Subject: [PATCH] tlmgr-platform: add option placeholders, tlmgr: update more info link (#19911) --- pages/common/tlmgr-platform.md | 10 +++++----- pages/common/tlmgr.md | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/pages/common/tlmgr-platform.md b/pages/common/tlmgr-platform.md index 94fcaea969..2be8c24866 100644 --- a/pages/common/tlmgr-platform.md +++ b/pages/common/tlmgr-platform.md @@ -5,20 +5,20 @@ - List all available platforms in the package repository: -`tlmgr platform list` +`tlmgr {{[arch|platform]}} list` - Add the executables for a specific platform: -`sudo tlmgr platform add {{platform}}` +`sudo tlmgr {{[arch|platform]}} add {{platform}}` - Remove the executables for a specific platform: -`sudo tlmgr platform remove {{platform}}` +`sudo tlmgr {{[arch|platform]}} remove {{platform}}` - Auto-detect and switch to the current platform: -`sudo tlmgr platform set auto` +`sudo tlmgr {{[arch|platform]}} set auto` - Switch to a specific platform: -`sudo tlmgr platform set {{platform}}` +`sudo tlmgr {{[arch|platform]}} set {{platform}}` diff --git a/pages/common/tlmgr.md b/pages/common/tlmgr.md index b77ba523f3..af08f36880 100644 --- a/pages/common/tlmgr.md +++ b/pages/common/tlmgr.md @@ -2,7 +2,7 @@ > Manage packages and configuration options of an existing TeX Live installation. > Some subcommands such as `paper` have their own usage documentation. -> More information: . +> More information: . - Install a package and its dependencies: