Template:Guide

From The Twelf Project
Jump to: navigation, search

{{{title}}} in the User's Guide


Documentation: This template http-links to the Twelf User's Guide. It takes three parameters, the chapter number, section number, and the title to use. For example:

{{guide|chapter=8|sec=47|title=Reduction declaration}}

yields

Reduction declaration in the User's Guide

We should use this to link to sections in the guide, since the URL may change when the guide is updated.