Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								b63146f517
								
							
						 | 
						
							
							
								
								provide a pageName lambda for templates
							
							
							
							
							
						 | 
						
							2023-10-20 09:23:06 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								22cee7eeea
								
							
						 | 
						
							
							
								
								default options don't work with many
							
							
							
							
							
						 | 
						
							2023-10-20 09:22:47 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								25bdade319
								
							
						 | 
						
							
							
								
								format
							
							
							
							
							
						 | 
						
							2023-10-20 09:05:29 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4fb6f81d83
								
							
						 | 
						
							
							
								
								support multiple template directories
							
							
							
							
							
							
							
							closes #17 
							
						 | 
						
							2023-10-20 09:04:58 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								7cd0443f9c
								
							
						 | 
						
							
							
								
								fixup the indexing
							
							
							
							
							
						 | 
						
							2023-10-19 14:01:25 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								de3fa4b1bc
								
							
						 | 
						
							
							
								
								fix sorting of tags and pages by name
							
							
							
							
							
						 | 
						
							2023-10-16 20:56:00 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								0e89ba2cf9
								
							
						 | 
						
							
							
								
								microfixes
							
							
							
							
							
						 | 
						
							2023-10-16 19:38:44 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								e2cec0c7a7
								
							
						 | 
						
							
							
								
								reformat using new hindent (cuteness +63)
							
							
							
							
							
						 | 
						
							2023-10-16 19:08:27 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								56dcda5619
								
							
						 | 
						
							
							
								
								do not use root in templates directly (in favor of rawRootUrl)
							
							
							
							
							
						 | 
						
							2023-10-16 19:04:10 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								7fa8225d80
								
							
						 | 
						
							
							
								
								avoid re-absoluting the path
							
							
							
							
							
						 | 
						
							2023-10-16 19:00:28 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								fca3de03e3
								
							
						 | 
						
							
							
								
								properly add the extra metadata to all pages, even tags
							
							
							
							
							
						 | 
						
							2023-10-16 13:15:07 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Miroslav Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								fee144a3ec
								
							
						 | 
						
							
							
								
								Merge branch 'mk-howtocards-fixes' into 'master'
							
							
							
							
							
							
							
							updates required for howto-cards
See merge request lcsb/sps/reploy!5 
							
						 | 
						
							2023-10-16 11:37:27 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								005b69dd47
								
							
						 | 
						
							
							
								
								fix help string
							
							
							
							
							
						 | 
						
							2023-10-16 11:36:57 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4f380f6b80
								
							
						 | 
						
							
							
								
								fix reversed append-url-index test
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								318d603c51
								
							
						 | 
						
							
							
								
								fixup the timestamp-sourcing script
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								32529c8c0f
								
							
						 | 
						
							
							
								
								add docs
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								45a95ef439
								
							
						 | 
						
							
							
								
								switch title to name in search machinery
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								1f2ab58478
								
							
						 | 
						
							
							
								
								stabilize and parametrize sorting of stuff, get rid of "title"
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								53aa481aac
								
							
						 | 
						
							
							
								
								stop everything on template substitution errors
							
							
							
							
							
							
							
							we're not a circus 
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								402107a237
								
							
						 | 
						
							
							
								
								support tag metadata, make much everything nicer
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								eeb4696a91
								
							
						 | 
						
							
							
								
								implement ingesting the extra metadata from files, reorganize a bit
							
							
							
							
							
						 | 
						
							2023-10-13 22:37:29 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								711ae4d941
								
							
						 | 
						
							
							
								
								it is a suffix not prefix
							
							
							
							
							
						 | 
						
							2023-10-13 20:47:09 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								5304dd384c
								
							
						 | 
						
							
							
								
								generalize the options a bit, allow assets from multiple directories
							
							
							
							
							
						 | 
						
							2023-10-13 20:45:36 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Miroslav Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4cdbf598c0
								
							
						 | 
						
							
							
								
								Merge branch 'mk-stricter-tokenizer' into 'master'
							
							
							
							
							
							
							
							use stricter unicode-aware tokenizer separator
See merge request lcsb/sps/reploy!4 
							
						 | 
						
							2023-09-08 10:36:02 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								f8ae6710e8
								
							
						 | 
						
							
							
								
								use unicode-aware tokenizer separator
							
							
							
							
							
						 | 
						
							2023-09-07 22:14:32 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								6666730fa0
								
							
						 | 
						
							
							
								
								add rsync to the dockerfile for simpler deployment
							
							
							
							
							
						 | 
						
							2023-09-06 09:32:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								800969bed4
								
							
						 | 
						
							
							
								
								fix a few docs
							
							
							
							
							
						 | 
						
							2023-08-15 13:43:39 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								b4bbc0f1b3
								
							
						 | 
						
							
							
								
								support custom metadata per build
							
							
							
							
							
							
							
							Closes #13 
							
						 | 
						
							2023-08-03 14:12:18 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								8d2c3c229c
								
							
						 | 
						
							
							
								
								fixup some leftovers in link creation
							
							
							
							
							
						 | 
						
							2023-08-02 13:56:11 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								d4e1fdeaeb
								
							
						 | 
						
							
							
								
								use Mustache objects for rendering, allow lambdas and manual URL rooting
							
							
							
							
							
						 | 
						
							2023-08-02 13:51:14 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								a50cb2eae6
								
							
						 | 
						
							
							
								
								bound aeson for microlens compatibility
							
							
							
							
							
						 | 
						
							2023-07-21 21:42:41 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								e930e2e35d
								
							
						 | 
						
							
							
								
								remove hakyll from deps
							
							
							
							
							
							
							
							Closes #12 
							
						 | 
						
							2023-07-21 21:03:53 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								9834ea90dd
								
							
						 | 
						
							
							
								
								allow adding full paths to .../index.html files, fix minor extra stuff
							
							
							
							
							
						 | 
						
							2023-07-21 20:40:25 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4303d67cbc
								
							
						 | 
						
							
							
								
								actually rename the executable right?
							
							
							
							
							
						 | 
						
							2023-07-21 20:06:13 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								45caf22a6c
								
							
						 | 
						
							
							
								
								document more
							
							
							
							
							
						 | 
						
							2023-07-21 11:20:37 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								c5390463a3
								
							
						 | 
						
							
							
								
								document what happens to the links
							
							
							
							
							
						 | 
						
							2023-07-21 11:12:09 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								435f1aff3c
								
							
						 | 
						
							
							
								
								rename the executable to reploy
							
							
							
							
							
						 | 
						
							2023-07-21 10:54:45 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								83e6f4afb8
								
							
						 | 
						
							
							
								
								fix README and cabal
							
							
							
							
							
						 | 
						
							2023-07-21 10:53:54 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								b00646faab
								
							
						 | 
						
							
							
								
								add proper licenses
							
							
							
							
							
						 | 
						
							2023-07-21 10:15:11 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								6d4f78e739
								
							
						 | 
						
							
							
								
								add build tools
							
							
							
							
							
						 | 
						
							2023-07-20 09:54:36 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								98d5ccac55
								
							
						 | 
						
							
							
								
								ok let's have versions
							
							
							
							
							
						 | 
						
							2023-07-20 00:14:20 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								614054a72e
								
							
						 | 
						
							
							
								
								make the contents completely generic
							
							
							
							
							
						 | 
						
							2023-07-19 20:39:41 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								0e717b5dda
								
							
						 | 
						
							
							
								
								use human tag names for search indexes
							
							
							
							
							
						 | 
						
							2023-07-16 19:45:33 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4a32e69bff
								
							
						 | 
						
							
							
								
								log not.
							
							
							
							
							
						 | 
						
							2023-07-16 19:35:37 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								0749bee908
								
							
						 | 
						
							
							
								
								include tags in search
							
							
							
							
							
						 | 
						
							2023-07-16 19:33:07 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								00d1e45682
								
							
						 | 
						
							
							
								
								actually add the search box
							
							
							
							
							
						 | 
						
							2023-07-14 11:15:17 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								c632444325
								
							
						 | 
						
							
							
								
								implement the veeeeeeery nice search box
							
							
							
							
							
							
							
							cc @laurent.heirendt
Closes #8 
							
						 | 
						
							2023-07-14 11:04:29 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								44ac9f9b8a
								
							
						 | 
						
							
							
								
								use the semicond font for smaller headings and title cards
							
							
							
							
							
						 | 
						
							2023-07-14 08:55:03 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								bbe86ea8b0
								
							
						 | 
						
							
							
								
								add semi-condensed barlow
							
							
							
							
							
						 | 
						
							2023-07-14 08:49:14 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								efa26d0f68
								
							
						 | 
						
							
							
								
								sidebar template fix
							
							
							
							
							
						 | 
						
							2023-07-04 15:29:36 +02:00 | 
						
						
							
							
							
								
							
							
						 |