diff options
Diffstat (limited to 'sim/Makefile.in')
-rw-r--r-- | sim/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sim/Makefile.in b/sim/Makefile.in index 460256b..75aadfc 100644 --- a/sim/Makefile.in +++ b/sim/Makefile.in @@ -187,6 +187,9 @@ info: install-info: dvi: pdf: +install-pdf: +html: +install-html: ### ### |