summaryrefslogtreecommitdiffstats
path: root/scripts
AgeCommit message (Expand)Author
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