11 Commits

Author	SHA1	Message	Date
Astro	e75355c6c8	add a dummy artiq-timestamp.nix, generate through main.nix, use in artiq-manual.nix	2019-04-23 22:07:43 +02:00
Astro	22ba790a3c	artiq-manual: set $SOURCE_DATE_EPOCH to fix generated copyright date ... Resolves Gitea issue #5	2019-04-23 21:52:14 +02:00
Sebastien Bourdeauducq	da03c2ab87	simplify documentation build for NixOS 19.03	2019-04-23 11:07:00 +08:00
Sebastien Bourdeauducq	db0f607b4c	add missing LaTeX dependency to build PDF manual	2019-04-12 17:56:01 +08:00
Sebastien Bourdeauducq	693ec6944f	typo	2019-02-26 18:34:30 +08:00
Sebastien Bourdeauducq	9086df6241	add version to manual package	2019-02-26 18:32:31 +08:00
Sebastien Bourdeauducq	4cbfec3e00	fix documentation build	2019-02-26 18:32:07 +08:00
Sebastien Bourdeauducq	f09a3cdfb4	do not build singlehtml manual	2019-02-26 17:29:12 +08:00
Sebastien Bourdeauducq	9af1d5bf30	merge artiq-manual dependencies into python-deps	2019-02-26 17:28:44 +08:00
Sebastien Bourdeauducq	8e686e2101	remove unnecessary artiq dependency in manual	2019-02-26 16:43:51 +08:00
Astro	d12b4c98c9	improved ARTIQ manual (#1) ... Signed-off-by: Stephan Maka <stephan@spaceboyz.net>	2019-02-26 16:38:16 +08:00