The Wayback Machine - https://web.archive.org/web/20220409062947/https://github.com/topics/operating-system-details
Skip to content
#

operating-system-details

Here are 3 public repositories matching this topic...

Language: All
Filter by language
martinspedro
martinspedro commented Jan 12, 2018

Problem

Individual notes may have footnotes. Those footnotes are numbered in accordance to the file. When the individual topic notes are merged, they keep (as supposed) the footnote number they had.

This causes

  • pandoc outputs a warning on duplicated footnotes
  • the footnotes in the published are incorrect

![image](https://user-images.githubusercontent.com/10232078/34893495-5bee41c2-

Improve this page

Add a description, image, and links to the operating-system-details topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the operating-system-details topic, visit your repo's landing page and select "manage topics."

Learn more