updated resource license and docs and makefile

2007-07-04 20:55:58 +00:00
parent 564d8d30e2
commit 37b49d3597
10 changed files with 217 additions and 330 deletions
--- a/resource-1.0/doc/MkSynopsis.hs
+++ b/resource-1.0/doc/MkSynopsis.hs
@@ -38,6 +38,8 @@ main = do
  space
  mapM_ (putParadigms isLatex) paradigmFiles
  space
+  include "synopsis-browse.txt"
+  space
  title "An Example of Usage"
  space
  include "synopsis-example.txt"