diff options
author | Robert Hensing <robert@roberthensing.nl> | 2021-03-22 21:15:11 +0100 |
---|---|---|
committer | Robert Hensing <robert@roberthensing.nl> | 2021-03-22 21:15:11 +0100 |
commit | 12e7698a651b45e9c9a98b8a67ba6472f22d713d (patch) | |
tree | afd4c228c4817ff650982a7d14dc877894962d0b /nixos/doc/manual | |
parent | 810d22fb35287e14125470e3b917b90488ae5ed5 (diff) | |
download | nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.tar nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.tar.gz nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.tar.bz2 nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.tar.lz nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.tar.xz nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.tar.zst nixlib-12e7698a651b45e9c9a98b8a67ba6472f22d713d.zip |
nixos/doc/manual/Makefile: Do not format
Formatting has been neglected. Running `make` would format dozens of files, which is a great way of scaring away newcomers and those with less git experience. It would also annoy the heck out of regular contributors. The purpose of formatting is to avoid a small annoyance, so it should not become a big annoyance that makes people give up on their work.
Diffstat (limited to 'nixos/doc/manual')
-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 b86a76005753..b2b6481b20c7 100644 --- a/nixos/doc/manual/Makefile +++ b/nixos/doc/manual/Makefile @@ -1,5 +1,5 @@ .PHONY: all -all: manual-combined.xml format +all: manual-combined.xml .PHONY: debug debug: generated manual-combined.xml |