-
Committer:
Joshua Judson Rosen
-
Date:
2014-11-05 06:25:37 UTC
-
Revision ID:
rozzin@geekspace.com-20141105062537-75adroilund5cyr7
Define CSS title class for texinfo-generated HTML docs.
This lets us generate HTML docs that fit into the foxtrotgps.org website
with "make html MAKEINFOFLAGS='--css-ref=../base.css'".