diff options
Diffstat (limited to 'doc/INSTALL.txt')
-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 - |