Add script for RSS feed updates
This commit is contained in:
parent
ab9496a92b
commit
0076b63ee8
6 changed files with 76 additions and 19 deletions
|
|
@ -3,12 +3,14 @@
|
|||
let args = "--css ../../assets/style.css -s --to html5 " ^
|
||||
"--highlight-style zenburn " ^ "--lua-filter filters/title.lua "
|
||||
|
||||
|
||||
let vert md = begin
|
||||
let filename_split = String.split_on_char '.' md in
|
||||
Sys.command (
|
||||
"pandoc " ^ args ^ " markdown/" ^ md ^ " -o html/" ^ md ^ ".html "
|
||||
"pandoc " ^ args ^ " md/" ^ md ^ " -o " ^ List.nth filename_split 0
|
||||
)
|
||||
end ;;
|
||||
|
||||
let contents = Sys.readdir "./markdown/"
|
||||
let contents = Sys.readdir "./md/"
|
||||
|> Array.to_list
|
||||
|> List.map vert
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue