diff options
Diffstat (limited to 'font/devdvi')
| -rw-r--r-- | font/devdvi/devdvi.am | 2 | ||||
| -rw-r--r-- | font/devdvi/generate/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/font/devdvi/devdvi.am b/font/devdvi/devdvi.am index 353bc6ad2..efab08240 100644 --- a/font/devdvi/devdvi.am +++ b/font/devdvi/devdvi.am @@ -16,7 +16,7 @@ # General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <http://www.gnu.org/licenses/>. devdvi_srcdir = $(top_srcdir)/font/devdvi DEVDVIFONTFILES = \ diff --git a/font/devdvi/generate/Makefile b/font/devdvi/generate/Makefile index cea9ee5f1..fc77fb9cd 100644 --- a/font/devdvi/generate/Makefile +++ b/font/devdvi/generate/Makefile @@ -18,7 +18,7 @@ # for more details. # # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <http://www.gnu.org/licenses/>. # This is set up so you can do: # make -f generate/Makefile |