James Valleroy 5d80ba1262

doc: Use Makefile to fetch raw wiki files ...

- Fetch all pages included in manual
- Also fetch pages with + in name
- Generate raw xml from raw wiki files
- Don't fetch raw xml for manual pages
- Delete manual raw xml at end of fetch
- Iterate manual pages over raw wiki files instead of raw xml
- Skip remove-footer step for generated manual xml pages

Signed-off-by: James Valleroy <jvalleroy@mailbox.org>
[sunil: Don't remove intermediate targets during build]
Signed-off-by: Sunil Mohan Adapa <sunil@medhas.org>
Reviewed-by: Sunil Mohan Adapa <sunil@medhas.org>

2020-08-28 12:09:08 -04:00

..

dev

users: Add component for managing users and groups

2020-04-04 09:31:35 -04:00

manual

apps: Remove Coquelicot

2020-08-21 15:42:14 -07:00

scripts

wikiparser: Fix spaces, multi-line, languages, icons

2020-08-28 12:09:05 -04:00

visual_design

static: Don't ship visual design file and unused images

2020-04-24 16:10:02 -04:00

Makefile

doc: Use Makefile to fetch raw wiki files

2020-08-28 12:09:08 -04:00

plinth.xml

doc: Update manual page with configuration file changes

2020-06-28 21:02:10 -04:00