diff --git a/user/404.html b/user/404.html index 562497401..ba56cf59f 100644 --- a/user/404.html +++ b/user/404.html @@ -106,7 +106,7 @@ diff --git a/user/build.html b/user/build.html index 7823f9307..ae0e7926b 100644 --- a/user/build.html +++ b/user/build.html @@ -105,7 +105,7 @@ @@ -337,7 +337,7 @@ make PREFIX=/my/path uninstall - @@ -351,7 +351,7 @@ make PREFIX=/my/path uninstall - diff --git a/user/contributing.html b/user/contributing.html index 50b8290ef..68a7e4576 100644 --- a/user/contributing.html +++ b/user/contributing.html @@ -105,7 +105,7 @@ @@ -475,7 +475,7 @@ raise an issue to describe the dependency.