| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-11-05 | Merge pull request #3 from benzado/newer-doc-titles | Benjamin Ragheb | |
| Newer document titles | |||
| 2022-11-05 | Accomodate titles in newer GNU make versions | Benjamin Ragheb | |
| @lshprung identified that newer versions of GNU make docs have titles with a suffix of "(GNU make)" instead of a prefix of "GNU make:". This change extracts any HTML title, and then removes either prefix or suffix, if found. | |||
| 2022-11-05 | Fix bug that prevented path from being printed | Benjamin Ragheb | |
| 2022-11-04 | Replaced 'mkdir' with 'mkdir -p' | Louie S | |
| 2015-05-09 | Add Makefile target to generate tgz archive of docset | Benjamin Ragheb | |
| Also fix and update .gitignore | |||
| 2015-05-09 | Here is a script and a Makefile for generating a GNU Make docset for Dash. | Benjamin Ragheb | |
 |
index : gnu-make-dash-docset.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |