diff options
| author | Konstantin Kirik (snegovick) <snegovick@uprojects.org> | 2025-12-09 00:14:36 +0300 |
|---|---|---|
| committer | Konstantin Kirik (snegovick) <snegovick@uprojects.org> | 2025-12-09 00:14:36 +0300 |
| commit | c2447c0837629117f03d7f2494f451f4585c8b89 (patch) | |
| tree | ddb509b60846ddc22de07d43784e6497b597cc53 /man/index.html | |
| parent | 97e1ee5918222272056d6747735e39933f79011c (diff) | |
Add mksectionindex.py script to create man section html index, integrate this script into man to html pipeline
Diffstat (limited to 'man/index.html')
| -rw-r--r-- | man/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/index.html b/man/index.html index cbc595f2..9cd04982 100644 --- a/man/index.html +++ b/man/index.html @@ -14,7 +14,7 @@ code.Nm, .Fl, .Cm, .Ic, code.In, .Fd, .Fn, .Cd { font-weight: bold; font-family: inherit; } </style> - <title>INTRO(1)</title> + <title>Sections index</title> </head> <body> <pre><a href="1">Section (1)</a> (this section) for the commonly-used commands. |