debian specific patch information for coq-doc / 8.1-3

 Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 faq/FAQ.tex |   24 ++++++++----------------
 1 file changed, 8 insertions(+), 16 deletions(-)

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo