diff options
| author | Andreas Fankhauser (@tux-six) | 2022-07-05 03:22:33 +0200 |
|---|---|---|
| committer | Andreas Fankhauser (@tux-six) | 2022-07-05 03:22:33 +0200 |
| commit | 0d745cdb688eab40094c434d2564515705ce686b (patch) | |
| tree | d171a9c97d644cafef67fdde361ff93da65d6dd3 /doc | |
| parent | d2c0bed52d0a293d5541940dedbfe2b5c9afd2c8 (diff) | |
| parent | 2eb3a5adf2fd55f21dd9dfa20b423883a6afce12 (diff) | |
| download | bulk-ln-0d745cdb688eab40094c434d2564515705ce686b.tar.gz bulk-ln-0d745cdb688eab40094c434d2564515705ce686b.zip | |
Merge 'Enhance configure script and other cleanup' to master
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/INSTALL.txt | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/doc/INSTALL.txt b/doc/INSTALL.txt deleted file mode 100644 index 68ebc59..0000000 --- a/doc/INSTALL.txt +++ /dev/null @@ -1,14 +0,0 @@ - -How to build/install -==================== - -Use the well-known procedure: - - ./configure - make - make install - -You can get some help with: - - ./configure --help - |