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