[slurm-users] SLURM docs: HTML title should be same as page title

ge title for the doc pages? Thanks, Patrice -- Patrice Peterson Referent für High Performance Computing Martin-Luther-Universität Halle-Wittenberg Tel. (+49) 345-55 21864 signature.asc Description: This is a digitally signed message part.

Re: [slurm-users] SLURM docs: HTML title should be same as page title

Filed a bug: https://bugs.schedmd.com/show_bug.cgi?id=6573 Am Freitag, 22. Februar 2019, 15:53:12 CET schrieb Patrice Peterson: > Hello, > > it's a little inconvenient that the title tag of all SLURM doc pages only > says "Slurm Workload Manager". I usually have ta