include version in scribble latex output

svn: r8135
This commit is contained in:
Matthew Flatt 2007-12-27 11:28:11 +00:00
parent d6adb5600e
commit 5df53fbe76

View File

@ -82,7 +82,10 @@
(when (part-title-content d) (when (part-title-content d)
(printf "\\title{") (printf "\\title{")
(render-content (part-title-content d) d ri) (render-content (part-title-content d) d ri)
(printf "}\\maketitle\n")) (printf "\\\\{\\normalsize Version ~a}}\\maketitle\n"
(or (and (versioned-part? d)
(versioned-part-version d))
(version))))
(render-part d ri) (render-part d ri)
(printf "\\end{document}\n")) (printf "\\end{document}\n"))