diff make-dist @ 106061:014672c3a25f

* Makefile.in: Build the Semantic manual. * semantic.texi, sem-user.texi: New files, adapted from the Semantic repository.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 16 Nov 2009 22:25:49 +0000
parents a431286b73b3
children 9b7cf86ec483
line wrap: on
line diff