ae0cfe80c4
This option is based on a recommendation from a page last updated in 2014 (see https://www.freedesktop.org/wiki/Software/Glamor/), and it is not necessary anymore. Also, it did the wrong thing: it forced DRI2, but Glamor should also work with DRI3, that is a better option most of the time. So let's remove this option, folks that still want to force this manually can do so in other ways.
This directory is temporarily needed while we transition the manual to CommonMark. It stores the output of the ../md-to-db.sh script that converts CommonMark files back to DocBook.
We are choosing to convert the Markdown to DocBook at authoring time instead of manual building time, because we do not want the pandoc toolchain to become part of the NixOS closure.
Do not edit the DocBook files inside this directory or its subdirectories. Instead, edit the corresponding .md file in the normal manual directories, and run ../md-to-db.sh to update the file here.