diff options
Diffstat (limited to 'Doc/Manual/Makefile')
| -rw-r--r-- | Doc/Manual/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/Manual/Makefile b/Doc/Manual/Makefile index 42149ba3a..5112afa33 100644 --- a/Doc/Manual/Makefile +++ b/Doc/Manual/Makefile @@ -75,4 +75,3 @@ linkchecker: @echo Note linkchecker versions prior to 6.1 do not work properly wrt anchors @echo ----------------------------------------------------------------------- linkchecker --config=./linkchecker.config index.html - |