summaryrefslogtreecommitdiffstats
path: root/scripts
AgeCommit message (Collapse)Author
2023-05-18Various tweaks to improve the websiteThomas Letan
2023-05-13The great rewrite of 2023Thomas Letan
2023-04-27Do not install GHC to build this blogThomas Letan
2022-08-13Fix the link in the coqffi tutorial by adding a new class of urlThomas Letan
2022-08-13Some tweaks to the toolchainThomas Letan
2022-08-13Provide a script to capture output of commands into files in 'logs/'Thomas Letan
2022-08-13Use emacs --daemon to speed things upThomas Letan
2022-08-13Goodbye, cleopatraThomas Letan
As it is, it is just too slow. Plus, the literate program that was my toolchain is actually not documented, so it makes no sense. I’m sad, though.
2020-04-04Benefit from cleopatra org-related functions to export org filesThomas Letan
2020-02-25Allow cleopatra to create missing directoriesThomas Letan
2020-02-23Integrate the scripts and plugins used by soupault in Soupault.orgThomas Letan
2020-02-22Integrate `update-gitignore.sh' inside cleopatraThomas Letan
2020-02-22Use `tangle-org.el' during bootstrapThomas Letan
2020-02-17Render inline math at build time using KaTeXThomas Letan
2020-02-17Use the previous name after the renaming commit in revision tablesThomas Letan
2020-02-17Keep track of file renames in the revision tableThomas Letan
2020-02-16Automatically generate a revision table from git historyThomas Letan
2020-02-05Add minimal comments to the script that keep .gitignore up-to-dateThomas Letan
2020-02-05Keep the list of html files to ignore up-to-date when buildingThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-25 03:35:01 +0000