2021-03-04 17:52:32 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								MD_TARGETS=$(addsuffix .xml, $(basename $(shell find . -type f -regex '.*\.md$$' -not -name README.md)))
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								.PHONY: all
							 | 
						
					
						
							
								
									
										
										
										
											2018-04-30 22:35:54 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								all: validate format out/html/index.html out/epub/manual.epub
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-25 20:01:31 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								.PHONY: debug
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								debug:
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									nix-shell --run "xmloscopy --docbook5 ./manual.xml ./manual-full.xml"
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 08:24:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-04-30 22:35:54 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								.PHONY: format
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:51:43 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								format: doc-support/result
							 | 
						
					
						
							
								
									
										
										
										
											2019-01-10 23:15:23 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									find . -iname '*.xml' -type f | while read f; do \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										echo $$f ;\
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:51:43 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										xmlformat --config-file "doc-support/result/xmlformat.conf" -i $$f ;\
							 | 
						
					
						
							
								
									
										
										
										
											2019-01-10 23:15:23 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									done
							 | 
						
					
						
							
								
									
										
										
										
											2018-04-30 22:35:54 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-05-31 20:26:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								.PHONY: fix-misc-xml
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								fix-misc-xml:
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									find . -iname '*.xml' -type f \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										-exec ../nixos/doc/varlistentry-fixer.rb {} ';'
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								.PHONY: clean
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								clean:
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:23:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									rm -f ${MD_TARGETS} doc-support/result .version manual-full.xml functions/library/locations.xml functions/library/generated
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 08:24:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									rm -rf ./out/ ./highlightjs
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-25 07:37:41 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								.PHONY: validate
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:30:13 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								validate: manual-full.xml doc-support/result
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									jing doc-support/result/docbook.rng manual-full.xml
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:46:47 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								out/html/index.html: doc-support/result manual-full.xml style.css highlightjs
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									mkdir -p out/html
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 09:06:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									xsltproc \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										--nonet --xinclude \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										--output $@ \
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 09:06:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										doc-support/result/xhtml.xsl \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										./manual-full.xml
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 08:24:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									mkdir -p out/html/highlightjs/
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									cp -r highlightjs out/html/
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2020-12-05 13:47:29 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp -r media out/html/
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 14:45:00 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp ./overrides.css out/html/
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									cp ./style.css out/html/style.css
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									mkdir -p out/html/images/callouts
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:46:47 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp doc-support/result/xsl/docbook/images/callouts/*.svg out/html/images/callouts/
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 08:24:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									chmod u+w -R out/html/
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-25 07:37:41 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								out/epub/manual.epub: manual-full.xml
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									mkdir -p out/epub/scratch
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 09:06:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									xsltproc --nonet \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										--output out/epub/scratch/ \
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 09:06:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										doc-support/result/epub.xsl \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										./manual-full.xml
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2020-12-05 13:47:29 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp -r media out/epub/scratch/OEBPS
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 14:45:00 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp ./overrides.css out/epub/scratch/OEBPS
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 14:04:19 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp ./style.css out/epub/scratch/OEBPS
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									mkdir -p out/epub/scratch/OEBPS/images/callouts/
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:46:47 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp doc-support/result/xsl/docbook/images/callouts/*.svg out/epub/scratch/OEBPS/images/callouts/
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									echo "application/epub+zip" > mimetype
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									zip -0Xq "out/epub/manual.epub" mimetype
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									rm mimetype
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									cd "out/epub/scratch/" && zip -Xr9D "../manual.epub" *
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									rm -rf "out/epub/scratch/"
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:46:59 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								highlightjs: doc-support/result
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 08:24:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									mkdir -p highlightjs
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:46:59 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									cp -r doc-support/result/highlightjs/highlight.pack.js highlightjs/
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									cp -r doc-support/result/highlightjs/LICENSE highlightjs/
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									cp -r doc-support/result/highlightjs/mono-blue.css highlightjs/
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									cp -r doc-support/result/highlightjs/loader.js highlightjs/
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-26 08:24:27 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2019-02-01 11:45:30 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								manual-full.xml: ${MD_TARGETS} .version functions/library/locations.xml functions/library/generated *.xml **/*.xml **/**/*.xml
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
									xmllint --nonet --xinclude --noxincludenode manual.xml --output manual-full.xml
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:27:16 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								.version: doc-support/result
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									ln -rfs ./doc-support/result/version .version
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:27:16 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								doc-support/result: doc-support/default.nix
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:23:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									(cd doc-support; nix-build)
							 | 
						
					
						
							
								
									
										
										
										
											2019-02-01 11:45:30 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2019-07-04 08:23:39 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								functions/library/locations.xml: doc-support/result
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									ln -rfs ./doc-support/result/function-locations.xml functions/library/locations.xml
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								functions/library/generated: doc-support/result
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									ln -rfs ./doc-support/result/function-docs functions/library/generated
							 | 
						
					
						
							
								
									
										
										
										
											2018-10-05 10:46:58 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								%.section.xml: %.section.md
							 | 
						
					
						
							
								
									
										
										
										
											2020-12-04 20:25:34 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									pandoc $^ -t docbook \
							 | 
						
					
						
							
								
									
										
										
										
											2020-12-05 13:47:29 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										--extract-media=media \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										--lua-filter=$(PANDOC_LUA_FILTERS_DIR)/diagram-generator.lua \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										-f markdown+smart \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									| cat  > $@
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								%.chapter.xml: %.chapter.md
							 | 
						
					
						
							
								
									
										
										
										
											2020-12-04 20:25:34 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
									pandoc $^ -t docbook \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										--top-level-division=chapter \
							 | 
						
					
						
							
								
									
										
										
										
											2020-12-05 13:47:29 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
										--extract-media=media \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
										--lua-filter=$(PANDOC_LUA_FILTERS_DIR)/diagram-generator.lua \
							 | 
						
					
						
							
								
									
										
										
										
											2018-03-24 11:36:10 -04:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
										-f markdown+smart \
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
									| cat  > $@
							 |