Cross Reference: rules
xref
: /
hets
/
utils
/
debian
/
auto-package
/
debian-server
/
rules
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
rules revision 219b9ee539c4fdc8db8ddb1160d05076446a804e
7199
N/A
#!/
usr
/
bin
/
make
-f
7199
N/A
# -*- makefile -*-
7199
N/A
7199
N/A
%:
7199
N/A
dh
$@
7199
N/A
7199
N/A
override_dh_auto_clean
:
make
distclean
dh_auto_clean
override_dh_auto_build
:
make
derivedSources
make
hets
-
server
override_dh_auto_test
:
override_dh_installman
:
dh_installman
debian
/
hets.1
override_dh_install
:
install
-m
755
-d
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
install
-m
755
hets
-
server
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
install
-m
755
-d
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
/
hets-isa-tools
install
-m
755
Isabelle
/
export
/
export.sh
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
/
hets-isa-tools
cp
Isabelle
/
export
/
export_helper.ml
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
/
hets-isa-tools
cp
-r
hets
-
lib
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
install
-m
644
magic
/
hets.magic
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
cp
-r
hets
-
owl
-
tools
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
install
-m
755
-d
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
/
hets-maude-lib
install
-m
644
Maude
/
hets.prj
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
/
hets-maude-lib
cp
Maude
/*
maude
debian
/
hets-server-core
/
usr
/
lib
/
hets-server
/
hets-maude-lib
install
-m
755
-d
debian
/
hets-server-core
/
usr
/
bin
cp
debian
/
hets_script
debian
/
hets-server-core
/
usr
/
bin
/
hets-server