Skip to content

Commit

Permalink
Install the CSS.
Browse files Browse the repository at this point in the history
  • Loading branch information
Jesse Alama committed Mar 31, 2010
1 parent 316faf2 commit e77e9aa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile.smallinstall
View file
Expand Up @@ -49,7 +49,7 @@ REPOBIN=$(PUBLIC_REPO)/bin
MIZBIN=$(MIZFILES)/bin
MAKEJOBS=1
SHEETS=addabsrefs miz evl2dep
CSS=article
CSS=article index
JAVASCRIPT=article
PERLSCRIPTS=mkxmlhead mkmmlindex duplicates
PERLMODULES=mizar
Expand Down

0 comments on commit e77e9aa

Please sign in to comment.