Handbook Maintenance: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
Line 2: | Line 2: | ||
==The Easy== | ==The Easy== | ||
*[[Handbook version numbering]] | |||
*[[Editing these wiki pages]] | *[[Editing these wiki pages]] | ||
*[[Maintaining the Change Logs]] | *[[Maintaining the Change Logs]] |
Revision as of 21:58, 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