summaryrefslogtreecommitdiff
path: root/README.org
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2017-03-17 16:15:46 +0100
committerAndreas Politz <politza@hochschule-trier.de>2017-03-17 16:15:46 +0100
commit463a90d6d74eb6b8396360bece93f7b652345f77 (patch)
treec6f5ae26f4cadefe790f502ec2f6499b533eb05e /README.org
parent403789588f09bafe1427563f15ae2dffdee64f0f (diff)
Use lowercase internal link name
Diffstat (limited to 'README.org')
-rw-r--r--README.org4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.org b/README.org
index c7accda..97e078b 100644
--- a/README.org
+++ b/README.org
@@ -66,7 +66,7 @@
Other operating systems are currently not supported (patches
welcome). The following instructions assume a Debian-based
system. (The prerequisites may be installed automatically on this
- kind of systems, see [[#Compilation][Compilation]] .)
+ kind of systems, see [[#compilation][Compilation]] .)
First make sure a suitable build-system is installed. We need at
least a C/C++ compiler (both ~gcc~ and ~g++~), ~make~, ~automake~
@@ -133,7 +133,7 @@
~gmake~ for ~make~ in the instructions below.
*** Compilation
:PROPERTIES:
- :CUSTOM_ID: Compilation
+ :CUSTOM_ID: compilation
:END:
Now it's time to compile the source.
#+begin_src sh