diff options
| author | Louie S <louie@example.com> | 2023-06-09 16:50:33 -0700 |
|---|---|---|
| committer | Louie Shprung <lshprung@scu.edu> | 2023-06-10 12:04:34 -0700 |
| commit | 0779d60460d99f8f950fd97bcef897ba6cbf1b8a (patch) | |
| tree | fc923bca398566dec0b49bcc099bfcda97132c21 /Makefile | |
| parent | a4784bbacc356d381ff833e1c181b75c30f776c6 (diff) | |
Download and package (or disable) CSS as part of docsetlocal-css
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -74,6 +74,11 @@ $(INFO_PLIST_FILE): src/Info.plist $(CONTENTS_DIR) $(INDEX_FILE): src/index-pages.sh $(DOCUMENTS_DIR) rm -f $@ src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html +ifndef NO_CSS + src/set-stylesheet.sh "yes" $(DOCUMENTS_DIR)/*.html +else + src/set-stylesheet.sh "no" $(DOCUMENTS_DIR)/*.html +endif src/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html src/index-terms.sh "Directive" $@ $(DOCUMENTS_DIR)/Name-Index.html |