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 /README | |
| parent | a4784bbacc356d381ff833e1c181b75c30f776c6 (diff) | |
Download and package (or disable) CSS as part of docsetlocal-css
Diffstat (limited to 'README')
| -rw-r--r-- | README | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -8,10 +8,13 @@ To generate a docset from the latest edition of the GNU Make Manual, simply execute `make` from the same directory as this README file. The latest edition will be downloaded from www.gnu.org and packaged appropriately. +If you would prefer a docset without CSS, this can be specified by running `make NO_CSS=yes`. +Otherwise, a local CSS file will also be downloaded from www.gnu.org and included in the docset. + Requirements: - any POSIX-compliant shell - curl - https://curl.se/ - make - https://www.gnu.org/software/make/ -- pup - https://tracker.debian.org/pkg/pup +- pup - https://github.com/ericchiang/pup - sqlite3 - https://www.sqlite.org/index.html |