diff doc/make.bat @ 62:617aa948e155

Proper layout for HTML and LaTeX output
author Franz Glasner <hg@dom66.de>
date Thu, 01 Mar 2018 00:12:19 +0100
parents 2ff1e8f02dc7
children
line wrap: on
line diff