Skip to content
GitLab
Explore
Sign in
Register
jberryman
GHC
Repository
ghc
mk
config.mk.in
Find file
Blame
History
Permalink
[project @ 2004-06-05 21:55:51 by panne]
· c1c1e720
sven.panne@aedion.de
authored
Jun 05, 2004
"make dvi ps html" in $(TOP) builds *all* documentation now
c1c1e720