From 00854cada07bbd28acf3b42fd291ff631bdad1f4 Mon Sep 17 00:00:00 2001 From: Bastien Dumont Date: Sat, 15 Jan 2022 21:55:15 +0100 Subject: [PATCH] Inclusion effective du changelog dans le guide --- Utilitaires/Makefile | 1 + Utilitaires/changelog-dans-annexes.lua | 1 + 2 files changed, 2 insertions(+) diff --git a/Utilitaires/Makefile b/Utilitaires/Makefile index 5c0fcc6..bde530c 100644 --- a/Utilitaires/Makefile +++ b/Utilitaires/Makefile @@ -34,6 +34,7 @@ HTML-VIEWER = palemoon COMMON_DOC_OPTIONS=-s \ --filter pandoc-crossref \ -L license-dans-metadonnees.lua \ + -L changelog-dans-annexes.lua \ $(DOC_FILE).md \ --resource-path=.:$(DOC_DIR) diff --git a/Utilitaires/changelog-dans-annexes.lua b/Utilitaires/changelog-dans-annexes.lua index fd044a2..2c2c3ff 100644 --- a/Utilitaires/changelog-dans-annexes.lua +++ b/Utilitaires/changelog-dans-annexes.lua @@ -5,6 +5,7 @@ local shift_headings = { Header = function(header) header.level = header.level + ANNEXES_HEADER_LEVEL + header.classes:insert('unnumbered') return header end