diff --git a/docs/papers/thoughts/288c90d b/docs/papers/thoughts/10_c9a9837 similarity index 100% rename from docs/papers/thoughts/288c90d rename to docs/papers/thoughts/10_c9a9837 diff --git a/docs/papers/thoughts/2ae3e94 b/docs/papers/thoughts/20_736092b similarity index 100% rename from docs/papers/thoughts/2ae3e94 rename to docs/papers/thoughts/20_736092b diff --git a/docs/papers/thoughts/3c37140 b/docs/papers/thoughts/30_288c90d similarity index 100% rename from docs/papers/thoughts/3c37140 rename to docs/papers/thoughts/30_288c90d diff --git a/docs/papers/thoughts/3fa69da b/docs/papers/thoughts/40_2ae3e94 similarity index 100% rename from docs/papers/thoughts/3fa69da rename to docs/papers/thoughts/40_2ae3e94 diff --git a/docs/papers/thoughts/736092b b/docs/papers/thoughts/50_3c37140 similarity index 100% rename from docs/papers/thoughts/736092b rename to docs/papers/thoughts/50_3c37140 diff --git a/docs/papers/thoughts/c9a9837 b/docs/papers/thoughts/60_3fa69da similarity index 100% rename from docs/papers/thoughts/c9a9837 rename to docs/papers/thoughts/60_3fa69da diff --git a/tools/doclist b/tools/doclist index d94da7f..b24843b 100755 --- a/tools/doclist +++ b/tools/doclist @@ -2,7 +2,7 @@ # # Generates HTML fragment for document list # -# Copyright (C) 2013 Mike Gerwitz +# Copyright (C) 2013, 2015 Mike Gerwitz # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -50,7 +50,7 @@ echo '