Skip to content

Commit

Permalink
manifest: split up defaults for "source" a bit
Browse files Browse the repository at this point in the history
  • Loading branch information
wspr committed Nov 18, 2017
1 parent a4885ca commit 69bcc04
Showing 1 changed file with 14 additions and 4 deletions.
18 changes: 14 additions & 4 deletions l3build.lua
Expand Up @@ -2374,12 +2374,22 @@ function writemanifest()
errorlevel = unpack()
end
local file_types = {"source","docu","bib","derived","typeset","supp","checksupp","tests"}
local file_types = {"source","typesetsource","docu","bib","derived","typeset","supp","checksupp","tests"}
local file_lists = {
source = {
name = "Source files",
files = {sourcefiles,typesetfiles,typesetsourcefiles},
files = {sourcefiles},
exclude = {excludefiles},
dir = maindir,
N = 0,
matches = {},
descr = {},
extractdescription = true,
},
typesetsource = {
name = "Typeset documentation source files",
files = {typesetfiles,typesetsourcefiles,typesetdemofiles},
exclude = {excludefiles},
dir = maindir,
N = 0,
Expand All @@ -2388,8 +2398,8 @@ function writemanifest()
extractdescription = true,
},
docu = {
name = "Text and Documentation files",
files = {textfiles,docfiles,demofiles,typesetdemofiles},
name = "Plain documentation files",
files = {textfiles,docfiles,demofiles},
exclude = {excludefiles},
dir = maindir,
N = 0,
Expand Down

0 comments on commit 69bcc04

Please sign in to comment.