summaryrefslogtreecommitdiffstats
path: root/Makefile
AgeCommit message (Expand)Author
2020-02-24More tweaking of too long code linesThomas Letan
2020-02-23Reduce the length of long lines of code in cleopatraThomas Letan
2020-02-23Yet another attempt to only init npm and Emacs when necessaryThomas Letan
2020-02-23Reworking cleopatra presentationThomas Letan
2020-02-23First complete draft for the Root of Generation sectionThomas Letan
2020-02-22Explain 'tangle-org.el'Thomas Letan
2020-02-22Increase the width of the log file header generated by cleopatraThomas Letan
2020-02-22Integrate `update-gitignore.sh' inside cleopatraThomas Letan
2020-02-22Use `tangle-org.el' during bootstrapThomas Letan
2020-02-22Make ~make~ to call itself with the `build` rule when none is givenThomas Letan
2020-02-22Provide a generic and reliable way to extends cleopatraThomas Letan
2020-02-22Initiate the redaction of Bootstrap.orgThomas Letan
2020-02-21Various improvement in cleopatraThomas Letan
2020-02-20Adopt a literate programming for `main.sass'Thomas Letan
2020-02-20Make an heavy use of Makefile variablesThomas Letan
2020-02-20Make cleopatra extensibleThomas Letan
2020-02-19Rework the Makefiles for a cleaner handling of generated scriptsThomas Letan
2020-02-19Various improvement in the content generation processThomas Letan
2020-02-19Initiate a literate programming approach for the Makefile rulesThomas Letan
2020-02-18Disable `custom-entry-overriden' warning of CoqThomas Letan
2020-02-16Adopt a literate programming approach for the configurationThomas Letan
2020-02-15Make the website 3rd-party free and improve loading performanceThomas Letan
2020-02-14Provide an index page for write-ups with more valueThomas Letan
2020-02-05Make the output of `make` cleanerThomas Letan
2020-02-05Fix link to locally defined terms in coqdoc outputThomas Letan
2020-02-05Keep the list of html files to ignore up-to-date when buildingThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 04:50:59 +0000