Handbook Maintenance: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
==The Complicated== | ==The Complicated== | ||
* Editting the CSS | * Editting the CSS (in MediaWiki:Common.css) | ||
* Editing the javascript (in Mediawiki:Common.js) | |||
* raw TeX title pages | * raw TeX title pages | ||
* raw TeX Pandoc template(s), which are editable from within the wiki. | * raw TeX Pandoc template(s), which are editable from within the wiki. | ||
Revision as of 21:25, 16 July 2019
Maintenance of this handbook can be divided into the easy, the complicated, and dark magic.
The Easy
The Complicated
- Editting the CSS (in MediaWiki:Common.css)
- Editing the javascript (in Mediawiki:Common.js)
- raw TeX title pages
- raw TeX Pandoc template(s), which are editable from within the wiki.
Dark Magic
- shell dependencies
- pandoc
- pdfLatex
- imageMagick
- Inkscape
- perl
- mediawiki version
- LocalSettings.php maintenance
- Settng up namespaces
- Maintaining off the shelf extensions
- pdfHandler
- nativeSVGhandler
- approvedRevs
- Custom extensions
- pandocPdfBook
- fixTables.pl script