Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 01b840b4ca70
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: f81ad12d0bc3
Choose a head ref
  • 6 commits
  • 6 files changed
  • 2 contributors

Commits on Dec 7, 2020

  1. doc: rename gnome to section

    @jtojnar
    jtojnar committed Dec 7, 2020
    Copy the full SHA
    e4c3cda View commit details
    Browse the repository at this point in the history

  2. pandoc: Add patches for nixpkgs docs 

    Until we update pandoc, these are necessary for faithful Markdown to Docbook conversion in the manual.
The following features are necessary for many pages, in particular the GNOME platform docs:

* Anchors should use `xml:id` attribute, as mandated by Docbook 5.
* Admonitions should be supported, including titles.

Additionally, xmlns should be set correctly for root element.
    @jtojnar
    jtojnar committed Dec 7, 2020
    Copy the full SHA
    16dfe8d View commit details
    Browse the repository at this point in the history

  3. doc: clean up makefile 

    The sectn and ulink hacks are not necessary since pandoc has been defaulting to Docbook 5 for a long time.
With the pandoc patches, we can get rid of id→xml:id replacement and xmlns hacks as well.
    @jtojnar
    jtojnar committed Dec 7, 2020
    Copy the full SHA
    64b8489 View commit details
    Browse the repository at this point in the history

  4. doc: convert GNOME platform docs to markdown

    @jtojnar
    jtojnar committed Dec 7, 2020
    Copy the full SHA
    be8a3b8 View commit details
    Browse the repository at this point in the history

  5. doc/stdenv: Fix xref to gdk-pixbuf setup hook 

    DocBook does not support creating labels for unordered list items so we need to add a link label ourselves.
    @jtojnar
    jtojnar committed Dec 7, 2020
    Copy the full SHA
    6224887 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2020

  1. Merge pull request #105284 from jtojnar/gnome-markdown 

    doc/gnome: Port to Markdown
    @ryantm
    ryantm committed Dec 8, 2020
    Copy the full SHA
    f81ad12 View commit details
    Browse the repository at this point in the history