summaryrefslogtreecommitdiffstats
path: root/scripts
AgeCommit message (Expand)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
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 21:58:56 +0000