Project

General

Profile

Actions

Bug #7723

closed

Issues with production documentation

Added by Jakub Judiny 3 months ago. Updated 3 months ago.

Status:
Closed
Priority:
Normal
Category:
Documentation
Target version:
Start date:
03/30/2024
Due date:
% Done:

100%

Estimated time:
To be discussed:
No

Description

While looking at the documentation, I found two problems:
- in devel and release documentations, link to production documentation ("You may instead wish to read the documentation for latest production version") does not work and returns 404 (the link should be "...mentat/master/..." instead of "...mentat/production/...")
- production version 2.12 was released, but production documentation was probably not deployed, because documentation from "2.11.0 (2023-07-03 07:57:17)" is displayed
- git revision link also does not work

Actions

Also available in: Atom PDF