diff options
author | Domen Kožar <domen@dev.si> | 2019-09-06 14:10:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-06 14:10:23 +0200 |
commit | d7c4106ce0898421bdc341adf859ce73c66ffaf6 (patch) | |
tree | 4fd1f1e676c7eb0567933c3480d36765b00563e1 | |
parent | 5b3dc48f19f06f0fadab501ca10e37a512c134b5 (diff) | |
parent | 81e755f3058753e1eb0a9826ba4181742f811a37 (diff) |
Merge pull request #68197 from jtojnar/nixos-doc-make-fix
nixos/doc/manual: Fix Makefile
-rw-r--r-- | nixos/doc/manual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/doc/manual/Makefile b/nixos/doc/manual/Makefile index 9ff599a0090..b86a7600575 100644 --- a/nixos/doc/manual/Makefile +++ b/nixos/doc/manual/Makefile @@ -24,7 +24,7 @@ fix-misc-xml: clean: rm -f manual-combined.xml generated -generated: ./options-to-docbook.xsl +generated: nix-build ../../release.nix \ --attr manualGeneratedSources.x86_64-linux \ --out-link ./generated |