LaTeX reader: Strip off quotes in \include filenames.

This commit is contained in:
John MacFarlane 2017-10-19 15:36:18 -07:00
parent 28bb5d610d
commit f615d7bb98

View file

@ -1751,7 +1751,8 @@ include = do
controlSeq "include" <|> controlSeq "input" <|>
controlSeq "subfile" <|> controlSeq "usepackage"
skipMany $ bracketed inline -- skip options
fs <- (map trim . splitBy (==',') . T.unpack . untokenize) <$> braced
fs <- (map (T.unpack . removeDoubleQuotes . T.strip) . T.splitOn "," .
untokenize) <$> braced
let fs' = if name == "usepackage"
then map (maybeAddExtension ".sty") fs
else map (maybeAddExtension ".tex") fs