Recent

Documentation Board

Please put documentation mutations, enhancements and errors in GitLab bugtracker, this group is for documenters  to talk over documentation and its tools.

Author Topic: Please put documentation mutations in GitLab bugtracker  (Read 13728 times)

marcov

  • Administrator
  • Hero Member
  • *
  • Posts: 12538
  • FPC developer.
Please put documentation mutations in GitLab bugtracker
« on: July 14, 2019, 03:29:54 pm »
Please put documentation mutations, enhancements and errors in GitLab bugtracker, this group is for documenters  to talk over documentation and its tools.

2023-12-23: edited  mantis->gitlab
« Last Edit: August 21, 2025, 08:33:24 am by marcov »

n7800

  • Hero Member
  • *****
  • Posts: 557
  • Lazarus IDE contributor
    • GitLab profile
Re: Please put documentation mutations in GitLab bugtracker
« Reply #1 on: June 29, 2025, 12:04:51 pm »
2023-12-23: edited  mantis->gitlab

It would be good to indicate this in the topic title as well.

n7800

  • Hero Member
  • *****
  • Posts: 557
  • Lazarus IDE contributor
    • GitLab profile
Re: Please put documentation mutations in Mantis bugtracker
« Reply #2 on: June 29, 2025, 12:06:05 pm »
Please put documentation mutations, enhancements and errors in GitLab bugtracker, ...

Link: https://gitlab.com/freepascal.org/fpc/documentation/-/issues

n7800

  • Hero Member
  • *****
  • Posts: 557
  • Lazarus IDE contributor
    • GitLab profile
Re: Please put documentation mutations in Mantis bugtracker
« Reply #3 on: August 21, 2025, 06:25:26 am »
Please put documentation mutations, enhancements and errors in GitLab bugtracker, this group is for documenters  to talk over documentation and its tools.

Now the board description is a bit inconsistent with this:

Quote
Discussions about adding/updating the Documentation on our wiki and in fpdoc (svn/web).

n7800

  • Hero Member
  • *****
  • Posts: 557
  • Lazarus IDE contributor
    • GitLab profile
Re: Please put documentation mutations in Mantis bugtracker
« Reply #4 on: August 21, 2025, 06:28:40 am »
And what about the wiki? Where should users post issues/suggestions for its content?

Theoretically, there are discussion ("talk") pages on the wiki for this, but they are not at all suitable for mass discussion, and the formatting in them is very complex. Also, not all users will want/be able to register in it.

Perhaps a separate board should be created for wiki? Without it, users will continue to create topics in all sorts of places.

 

TinyPortal © 2005-2018